Yices: Upgrade to 2.6.0

pysmt · Jul 4, 2018 · 2aed538 · 2aed538
1 parent a9f4a7c
commit 2aed538
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.5.1", {}),
               Installer(CVC4Installer,    "1.5", {"git_version" : "05663e0d338c2bab30b5f19820de01788ec2b276"}),
               Installer(Z3Installer,      "4.6.0", {"osx": "10.11.6"}),
-              Installer(YicesInstaller,   "2.5.4", {"yicespy_version": "f0768ffeec15ea310f830d10878971c9998454ac"}),
+              Installer(YicesInstaller,   "2.6.0", {"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"})]