update tools

Dockerfile

@@ -94,17 +94,17 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps  -y \
         booleannet=1.2.8=py_0 \
         bnettoprime=1.0=h6bb024c_0 \
         bns=1.3=0 \
-        bioasp::caspo=4.0.1=py_0 \
-        potassco::clingo=5.5.2=py39h3fd9d12_0 \
+        bioasp::caspo=4.0.1=py_1 \
+        potassco::clingo=5.6.1=py39h3fd9d12_0 \
         eqntott=1.0=1 \
-        erode-python \
+        erode-python=0.7=py39_0 \
         espresso-logic-minimizer=9999=h14c3975_0 \
         its=20210125=0 \
         nusmv=2.6.0=0 \
         nusmv-a=1.2=h6bb024c_0 \
         nusmv-arctl=2.2.2=0 \
         pint=2019.05.24=1 \
-        r-boolnet=2.1.5 \
+        r-boolnet=2.1.7 \
     && conda clean -y --all && rm -rf /opt/conda/pkgs
 
 # Tier 2: tools with regular updates (2-4/year)