Update pysmt version

ihalaij1 · ihalaij1 · commit 9461e08dd5c8 · 2025-12-11T17:59:18.000+02:00
diff --git a/Dockerfile.smt b/Dockerfile.smt
@@ -11,6 +11,6 @@ RUN apt_install \
 RUN pip_install \
     z3-solver \
     dd \
-    pysmt \
+    "pysmt == 0.9.7.dev337" \
  && pysmt-install --confirm-agreement --msat \
  && :
