update tools

colomoto · Feb 15, 2024 · a0e2138 · a0e2138
1 parent 306d4f5
commit a0e2138
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -114,7 +114,7 @@ RUN AUTO_UPDATE=1 conda install --no-update-deps  -y  \
         bnettoprime=1.0=h6bb024c_0 \
         bns=1.3=0 \
         caspo=4.0.1=py_1 \
-        clingo=5.6.2=py311hb755f60_1 \
+        clingo=5.7.0=py311h3fd9d12_0 \
         eqntott=1.0=1 \
         erode-python=0.7.2=py_0 \
         espresso-logic-minimizer=9999=h14c3975_0 \