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

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 current release is Yices 1.0.34 (released February 24, 2012)


Yices with GMP statically linked

The following distributions are statically linked against GMP.

Yices with GMP dynamically linked

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


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
Important: since Yices 1.0.34, (released February 24, 2012), GMP 5.0.0, or more recent is required to use Yices.

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.


Older Versions of Yices

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


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

Last modified: Mon 30 Apr 2012 09:26 PDT