Download Yices 1

Yices is distributed as a free binary. The distribution includes a standalone executable and a library that can be used in other applications. We do not currently provide source. Here are the license terms. If you would like to discuss alternative license terms, contact fm-licensing@csl.sri.com

The last release is Yices 1.0.40 (released December 4, 2013)

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)
• Linux (32 bits Intel)
• Mac OS X (64 bits)
• Mac OS X (32 bits)
• Windows (32 bits)
• Windows (64 bits)
• Cygwin (32 bits)
• Cygwin (64 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-1.0.40-i686-pc-linux-gnu.tar.gz