[SMT-LIB] Yices 2 source available

Bruno Dutertre bruno.dutertre at sri.com
Wed Aug 6 12:57:14 EDT 2014


We are pleased to announce that the Yices source code
is now available.  Source and binary distributions
can be downloaded at http://yices.csl.sri.com/

The current release is Yices 2.2.2. It fixes several
bugs and includes support for solving exists/forall
problems.

Please visit http://yices.csl.sri.com for updates and more
information about Yices.

Bruno


More information about the SMT-LIB mailing list