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

The current release is Yices 1.0.38 (released February 25, 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) 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-1.0.38-i686-pc-linux-gnu.tar.gz

Older Versions

The versions above are the most current. For anybody interested, previous versions of Yices can be dowloaded here.

Last modified: Mon 25 Feb 2013 09:53 PST