Download Yices 2

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.

Main Distributions

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.

• Linux (64 bits AMD/Intel) requires kernel 2.6.8 or more recent
• Linux (32 bits Intel) requires kernel 2.6.8 or more recent
• Mac OS X (64 bits) compatible with Mac OS X Leopard, Snow Leopard, Lion
• Mac OS X (32 bits) compatible with Mac OS X Leopard, Snow Leopard, Lion
• Windows (32 bits) compatible with Windows XP, Vista, and Windows 7
• Windows (64 bits) compatible with Windows XP, Vista, and Windows 7
• Cygwin (32 bits)

Other distributions can be downloaded here

Download and Installation

To download and install yices:

• Select the distribution you want. This will open a web page showing the license terms.
• If you agree to the license terms, click on the accept button to start downloading the tarfile or ZIP file.
• Save and untar the file: for example

  tar xvzf yices-2.1.0-x86_64-unknown-linux-gnu.tar.gz

Getting Help

If the versions above do not work for your OS or hardware, send an e-mail to yices-sri@csl.sri.com

Send bug reports to yices-bugs@csl.sri.com

For other issues, send e-mail to yices-help@csl.sri.com

Last modified: Fri 03 Aug 2012 17:36 PDT