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 email@example.com
The current release is Yices 1.0.40 (released December 4, 2013)
Yices uses the GNU Multiprecision library (GMP). GMP version 5.0.0 or more recent is required.
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.
To download and install yices:
tar xvzf yices-1.0.40-i686-pc-linux-gnu.tar.gz
The versions above are the most current. For anybody interested, previous versions of Yices can be dowloaded here.