| Home | • | Intro | • | Docs | • | Wiki | • | FAQ | • | Download | • | • | Awards | • | Status | • | FM Tools |
|---|
We distribute Yices 2 for a variety of platform and operating systems. All versions depend on the GNU Multiprecision library (GMP).
All distributions below include the standalone Yices executables and the Yices library and header files. 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 2.1.0 (released August 3, 2012)
To use the following distributions, you must have GMP installed on your machine as a dynamically loadable library. GMP 5.0.0 or newer is required.
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.
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 | • | • | Awards | • | Status | • | FM Tools |
|---|
Last modified: Fri 03 Aug 2012 17:28 PDT