Home	•	Intro	•	Docs	•	Wiki	•	FAQ	•	Download	-	Mail	•	Awards	•	Status	•	FM Tools

Download Yices

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. If you would like to discuss alternative license terms, contact fm-licensing@csl.sri.com

The current release is Yices 1.0.21

Yices uses the GNU Multiprecision library (GMP). GMP version 4.1.3 or more recent is required.

Download and Installation

Yices is distributed as a gzipped tarfile for a variety of systems. You can choose a distribution with GMP either statically or dynamically linked. The statically linked versions are recommended, especially on Linux systems. (Because other libraries are required beside GMP and these libraries vary widely across Linux distributions).

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.

Save and untar the file: for example

tar xvzf yices-1.0.21-i686-pc-linux-gnu.tar.gz

Notes for Mac users

For Macs with Intel hardware, we now provide three Yices distributions:

If you have not upgraded to Leopard, select Yices for Mac OS X Tiger (version 10.4)
If you have upgraded to Leopard (also known as Mac OS X version 10.5), you can choose between a version compiled in 32bit mode and a version compiled in 64bit mode.

Yices with GMP statically linked

The following distributions are statically linked against GMP.

Yices for Windows

The following distribution does not require Cygwin and should be usable standalone on Windows XP. It was built with MinGW for 32bit Intel Pentium and it's statically linked against GMP.

Download one of the following files. Their content is identical, but they are compressed using different utilities.

Yices with GMP dynamically linked

To use the following distributions, you must have GMP installed on your machine as a dynamically loadable library.

GMP is preinstalled on many Linux distributions, but check that the GMP version is higher than 4.1.2, and that the dynamic library (libgmp.so) is installed. We've had reports that yices crashes with GMP 4.1.2.

On cygwin, you can download and install a precompiled version of GMP by using the setup.exe utility.

Alternatively, you can download, compile, and install GMP yourself but make sure you build GMP with the option --enable-dynamic. The GMP source code can be downloaded at http://gmplib.org/.

Previous Versions

The versions above are the most current. For anybody interested, previous versions of Yices, including the SMT-COMP'07 and SMT-COMP'06 versions, can be dowloaded here.

Home	•	Intro	•	Docs	•	Wiki	•	FAQ	•	Download	-	Mail	•	Awards	•	Status	•	FM Tools

Last modified: Wed 06 May 2009 10:40 PDT