Yices 2 is the latest version of SRI's SMT Solver. Like the previous Yices 1 versiom, this solver is distributed as a free binary. The distribution includes a standalone executable that support the Yices 2 specification language, another executable that can process input in the SMT-LIB 1.2 notation, and a library for using Yices 2 in other software.
The current release in Yices 2.1.0 (released August 3, 2012)
Yices uses the GNU Multiprecision library (GMP). GMP version 5.0.0 or more recent is required.
The following tarfiles and ZIP files include the Yices executable and libraries, statically linked against GMP. If you want a version dynamically linked against GMP or if you have a different platform or operating system, check the full distribution list.
To download and install yices:
tar xvzf yices-2.1.0-x86_64-unknown-linux-gnu.tar.gz
If the versions above do not work for your OS or hardware, send an e-mail to email@example.com
Send bug reports to firstname.lastname@example.org
For other issues, send e-mail to email@example.com