Download Yices 1

We distribute Yices 1 for a variety of platform and operating systems. All versions depend on the GNU Multiprecision library (GMP).

All distributions below include a standalone Yices executable and the Yices libraries. We do not currently provide source. 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 with GMP statically linked

• Linux/i686 (32bit Intel Pentium and compatible) (kernel 2.6.24 or more recent)
• Linux/x86_64 (64bit AMD/Intel and compatible) (kernel 2.6.24 or more recent)
• Mac OS X (32bits) (Snow Leopard or more recent)
• Mac OS X (64bits) (Snow Leopard or more recent)
• Cygwin (32bit)
• Cygwin (64bit)
• Windows 32 bits
• Windows 64 bits
• FreeBSD 9.0 (32bits)
• FreeBSD 9.0 (64bits)
• Solaris 2.10 (Sparc)

Yices with GMP dynamically linked

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

• Linux/i686 (32bit Intel Pentium and compatible) (kernel 2.6.24 or more recent)
• Linux/x86_64 (64bit AMD/Intel and compatible) (kernel 2.6.24 or more recent)
• Mac OS X (32bits) (Snow Leopard or more recent)
• Mac OS X (64bits) (Snow Leopard or more recent)
• Cygwin (32bit)
• Cygwin (64bit)
• FreeBSD 9.0 (32bits/x86)
• FreeBSD 9.0 (64bits/AMD64)
• Solaris 2.10 (Sparc)

How to get GMP

GMP can be installed easily on many Linux distributions using package managers. For example, on an Ubuntu distribution:

   sudo apt-get install libgmp-dev

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. The GMP source code can be downloaded at http://gmplib.org/

When building GMP from source on Cygwin or Mingw, make sure to configure GMP to compile as a DLL, by givein option --enable-shared to GMP's configure script.