Merge pull request #425 from pysmt/upgrade/picosat_965

PicoSAT: Upgrade to 965
pysmt · Aug 2, 2017 · cae13f8 · cae13f8
2 parents 4159266 + c27a895
commit cae13f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pysmt/cmd/install.py b/pysmt/cmd/install.py
@@ -36,7 +36,7 @@
               Installer(CVC4Installer,    "1.5-prerelease", {"git_version" : "c15ff43597b41ea457befecb1b0e2402e28cb523"}),
               Installer(YicesInstaller,   "2.5.1", {"yicespy_version": "07439670a54d08a76cfb931194e1eaf07ea026a1"}),
               Installer(BtorInstaller,    "2.4.1", {"lingeling_version": "bbc"}),
-              Installer(PicoSATInstaller, "960", {"pypicosat_minor_version" : "1610040816"}),
+              Installer(PicoSATInstaller, "965", {"pypicosat_minor_version" : "1708010052"}),
               Installer(CuddInstaller,    "2.0.3", {"git_version" : "75fe055c2a736a3ac3e971c1ade108b815edc96c"})]