Merge pull request #426 from pysmt/upgrade/yices_2.5.2

Yices: Upgrade to 2.5.2
pysmt · Aug 7, 2017 · 3fef77d · 3fef77d
2 parents 9e16ce8 + 81c134d
commit 3fef77d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pysmt/cmd/install.py b/pysmt/cmd/install.py
@@ -34,7 +34,7 @@
 INSTALLERS = [Installer(MSatInstaller,    "5.3.13", {}),
               Installer(Z3Installer,      "4.4.1", {"osx": "10.11"}),
               Installer(CVC4Installer,    "1.5-prerelease", {"git_version" : "c15ff43597b41ea457befecb1b0e2402e28cb523"}),
-              Installer(YicesInstaller,   "2.5.1", {"yicespy_version": "07439670a54d08a76cfb931194e1eaf07ea026a1"}),
+              Installer(YicesInstaller,   "2.5.2", {"yicespy_version": "f0768ffeec15ea310f830d10878971c9998454ac"}),
               Installer(BtorInstaller,    "2.4.1", {"lingeling_version": "bbc"}),
               Installer(PicoSATInstaller, "965", {"pypicosat_minor_version" : "1708010052"}),
               Installer(CuddInstaller,    "2.0.3", {"git_version" : "75fe055c2a736a3ac3e971c1ade108b815edc96c"})]