Home Docs Download Mail Status FM Tools
Yices

Download Yices 2

Yices 2 is the latest version of SRI's SMT Solver. Like the previous Yices 1 version, this solver is distributed as a free binary. The distribution includes a standalone executable that support the Yices 2 specification language, two other executables that can process input in the SMT-LIB 2.0 and SMT-LIB 1.2 notation, respectively, and a library for using Yices 2 in other software.

The current release in Yices 2.2.1 (released April 1, 2014)

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.


Other distributions can be downloaded here


Download and Installation

To download and install yices:



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


Home Docs Download Mail Status FM Tools

Last modified: Tue 01 Apr 2014 20:11 PDT