Old Releases

The following versions of Yices are made available for anybody who is interested. They are not maintained so please do not send bug reports concerning them.

If you're looking for Yices 1, click here.

Yices 2.6.4

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits Intel)
• Mac OS X (64 bits Apple-Silicon)
• Windows (64 bits)

Yices 2.6.2

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)

Yices 2.6.1

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.6.0

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.5.4

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.5.3

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.5.2

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.5.1

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.5.0

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.4.2

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.4.1

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.4.0

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.3.1

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.3.0

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.2.2

• Source Code
• Linux (64 bits AMD/Intel)
• Mac OS X (64 bits)
• Windows (64 bits)
• Windows (32 bits)

Yices 2.2.1

• yices-2.2.1-i386-apple-darwin13.1.0-static-gmp.tar.gz
• yices-2.2.1-i386-apple-darwin13.1.0.tar.gz
• yices-2.2.1-i386-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.2.1-i386-apple-darwin10.8.0.tar.gz
• yices-2.2.1-i386-unknown-freebsd9.2-static-gmp.tar.gz
• yices-2.2.1-i386-unknown-freebsd9.2.tar.gz
• yices-2.2.1-i686-pc-cygwin-static-gmp.tar.gz
• yices-2.2.1-i686-pc-cygwin.tar.gz
• yices-2.2.1-i686-pc-linux-gnu-static-gmp.tar.gz
• yices-2.2.1-i686-pc-linux-gnu.tar.gz
• yices-2.2.1-i686-pc-mingw32-static-gmp.zip
• yices-2.2.1-i686-pc-mingw32.zip
• yices-2.2.1-sparc-sun-solaris2.10-static-gmp.tar.gz
• yices-2.2.1-sparc-sun-solaris2.10.tar.gz
• yices-2.2.1-sparc64-sun-solaris2.10-static-gmp.tar.gz
• yices-2.2.1-sparc64-sun-solaris2.10.tar.gz
• yices-2.2.1-x86_64-apple-darwin10.8.0.tar.gz
• yices-2.2.1-x86_64-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.2.1-x86_64-apple-darwin13.0.2.tar.gz
• yices-2.2.1-x86_64-apple-darwin13.0.2-static-gmp.tar.gz
• yices-2.2.1-x86_64-pc-mingw32.zip
• yices-2.2.1-x86_64-pc-mingw32-static-gmp.zip
• yices-2.2.1-x86_64-unknown-cygwin-gnu-static-gmp.tar.gz
• yices-2.2.1-x86_64-unknown-cygwin-gnu.tar.gz
• yices-2.2.1-x86_64-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.2.1-x86_64-unknown-linux-gnu.tar.gz
• yices-2.2.1-x86_64-unknown-freebsd9.2-static-gmp.tar.gz
• yices-2.2.1-x86_64-unknown-freebsd9.2.tar.gz

Yices 2.2.0

• yices-2.2.0-i386-apple-darwin13.0.2-static-gmp.tar.gz
• yices-2.2.0-i386-apple-darwin13.0.2.tar.gz
• yices-2.2.0-i386-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.2.0-i386-apple-darwin10.8.0.tar.gz
• yices-2.2.0-i386-unknown-freebsd9.2-static-gmp.tar.gz
• yices-2.2.0-i386-unknown-freebsd9.2.tar.gz
• yices-2.2.0-i686-pc-cygwin-static-gmp.tar.gz
• yices-2.2.0-i686-pc-cygwin.tar.gz
• yices-2.2.0-i686-pc-linux-gnu-static-gmp.tar.gz
• yices-2.2.0-i686-pc-linux-gnu.tar.gz
• yices-2.2.0-i686-pc-mingw32-static-gmp.zip
• yices-2.2.0-i686-pc-mingw32.zip
• yices-2.2.0-sparc-sun-solaris2.10-static-gmp.tar.gz
• yices-2.2.0-sparc-sun-solaris2.10.tar.gz
• yices-2.2.0-sparc64-sun-solaris2.10-static-gmp.tar.gz
• yices-2.2.0-sparc64-sun-solaris2.10.tar.gz
• yices-2.2.0-x86_64-apple-darwin10.8.0.tar.gz
• yices-2.2.0-x86_64-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.2.0-x86_64-apple-darwin13.0.2.tar.gz
• yices-2.2.0-x86_64-apple-darwin13.0.2-static-gmp.tar.gz
• yices-2.2.0-x86_64-pc-mingw32.zip
• yices-2.2.0-x86_64-pc-mingw32-static-gmp.zip
• yices-2.2.0-x86_64-unknown-cygwin-gnu-static-gmp.tar.gz
• yices-2.2.0-x86_64-unknown-cygwin-gnu.tar.gz
• yices-2.2.0-x86_64-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.2.0-x86_64-unknown-linux-gnu.tar.gz
• yices-2.2.0-x86_64-unknown-freebsd9.2-static-gmp.tar.gz
• yices-2.2.0-x86_64-unknown-freebsd9.2.tar.gz

Yices 2.1.0

• yices-2.1.0-i386-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.1.0-i386-apple-darwin10.8.0.tar.gz
• yices-2.1.0-i386-apple-darwin8.11.1-static-gmp.tar.gz
• yices-2.1.0-i386-apple-darwin8.11.1.tar.gz
• yices-2.1.0-i386-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.1.0-i386-unknown-freebsd9.0.tar.gz
• yices-2.1.0-i686-pc-cygwin-static-gmp.tar.gz
• yices-2.1.0-i686-pc-cygwin.tar.gz
• yices-2.1.0-i686-pc-mingw32.zip
• yices-2.1.0-i686-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.1.0-i686-unknown-linux-gnu.tar.gz
• yices-2.1.0-sparc-sun-solaris2.10-static-gmp.tar.gz
• yices-2.1.0-sparc-sun-solaris2.10.tar.gz
• yices-2.1.0-x86_64-apple-darwin10.8.0.tar.gz
• yices-2.1.0-x86_64-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.1.0-x86_64-pc-mingw32.zip
• yices-2.1.0-x86_64-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.1.0-x86_64-unknown-linux-gnu.tar.gz
• yices-2.1.0-x86_64-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.1.0-x86_64-unknown-freebsd9.0.tar.gz

Yices 2.0.4

• yices-2.0.4-i386-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.4-i386-apple-darwin10.8.0.tar.gz
• yices-2.0.4-i386-apple-darwin8.11.1-static-gmp.tar.gz
• yices-2.0.4-i386-apple-darwin8.11.1.tar.gz
• yices-2.0.4-i386-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.4-i386-unknown-freebsd9.0.tar.gz
• yices-2.0.4-i686-pc-cygwin-static-gmp.tar.gz
• yices-2.0.4-i686-pc-cygwin.tar.gz
• yices-2.0.4-i686-pc-mingw32.zip
• yices-2.0.4-i686-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.4-i686-unknown-linux-gnu.tar.gz
• yices-2.0.4-sparc-sun-solaris2.10-static-gmp.tar.gz
• yices-2.0.4-sparc-sun-solaris2.10.tar.gz
• yices-2.0.4-x86_64-apple-darwin10.8.0.tar.gz
• yices-2.0.4-x86_64-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.4-x86_64-pc-mingw32.zip
• yices-2.0.4-x86_64-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.4-x86_64-unknown-linux-gnu.tar.gz
• yices-2.0.4-x86_64-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.4-x86_64-unknown-freebsd9.0.tar.gz

Yices 2.0.2

• yices-2.0.2-i386-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.2-i386-apple-darwin10.8.0.tar.gz
• yices-2.0.2-i386-apple-darwin8.11.1-static-gmp.tar.gz
• yices-2.0.2-i386-apple-darwin8.11.1.tar.gz
• yices-2.0.2-i386-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.2-i386-unknown-freebsd9.0.tar.gz
• yices-2.0.2-i686-pc-cygwin-static-gmp.tar.gz
• yices-2.0.2-i686-pc-cygwin.tar.gz
• yices-2.0.2-i686-pc-mingw32.zip
• yices-2.0.2-i686-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.2-i686-unknown-linux-gnu.tar.gz
• yices-2.0.2-sparc-sun-solaris2.10-static-gmp.tar.gz
• yices-2.0.2-sparc-sun-solaris2.10.tar.gz
• yices-2.0.2-x86_64-apple-darwin10.8.0.tar.gz
• yices-2.0.2-x86_64-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.2-x86_64-pc-mingw32.zip
• yices-2.0.2-x86_64-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.2-x86_64-unknown-linux-gnu.tar.gz
• yices-2.0.2-x86_64-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.2-x86_64-unknown-freebsd9.0.tar.gz

Yices 2.0.1

• yices-2.0.1-i386-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.1-i386-apple-darwin10.8.0.tar.gz
• yices-2.0.1-i386-apple-darwin8.11.1-static-gmp.tar.gz
• yices-2.0.1-i386-apple-darwin8.11.1.tar.gz
• yices-2.0.1-i386-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.1-i386-unknown-freebsd9.0.tar.gz
• yices-2.0.1-i686-pc-cygwin-static-gmp.tar.gz
• yices-2.0.1-i686-pc-cygwin.tar.gz
• yices-2.0.1-i686-pc-mingw32.zip
• yices-2.0.1-i686-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.1-i686-unknown-linux-gnu.tar.gz
• yices-2.0.1-sparc-sun-solaris2.10-static-gmp.tar.gz
• yices-2.0.1-sparc-sun-solaris2.10.tar.gz
• yices-2.0.1-x86_64-apple-darwin10.8.0.tar.gz
• yices-2.0.1-x86_64-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.1-x86_64-pc-mingw32.zip
• yices-2.0.1-x86_64-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.1-x86_64-unknown-linux-gnu.tar.gz
• yices-2.0.1-x86_64-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.1-x86_64-unknown-freebsd9.0.tar.gz

Yices 2.0.0

• yices-2.0.0-i386-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.0-i386-apple-darwin10.8.0.tar.gz
• yices-2.0.0-i386-apple-darwin8.11.1-static-gmp.tar.gz
• yices-2.0.0-i386-apple-darwin8.11.1.tar.gz
• yices-2.0.0-i386-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.0-i386-unknown-freebsd9.0.tar.gz
• yices-2.0.0-i686-pc-cygwin-static-gmp.tar.gz
• yices-2.0.0-i686-pc-cygwin.tar.gz
• yices-2.0.0-i686-pc-mingw32.zip
• yices-2.0.0-i686-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.0-i686-unknown-linux-gnu.tar.gz
• yices-2.0.0-sparc-sun-solaris2.10-static-gmp.tar.gz
• yices-2.0.0-sparc-sun-solaris2.10.tar.gz
• yices-2.0.0-x86_64-apple-darwin10.8.0.tar.gz
• yices-2.0.0-x86_64-apple-darwin10.8.0-static-gmp.tar.gz
• yices-2.0.0-x86_64-pc-mingw32.zip
• yices-2.0.0-x86_64-unknown-linux-gnu-static-gmp.tar.gz
• yices-2.0.0-x86_64-unknown-linux-gnu.tar.gz
• yices-2.0.0-x86_64-unknown-freebsd9.0-static-gmp.tar.gz
• yices-2.0.0-x86_64-unknown-freebsd9.0.tar.gz

Yices 2 SMT-COMP 2009

This is an early Yices 2 prototype that participated in the SMT Solver Competition in 2009.

• yices2smt09-i386-apple-darwin8.11.1-static-gmp.tgz
• yices2smt09-i386-apple-darwin8.11.1.tgz
• yices2smt09-i386-apple-darwin9.8.0-static-gmp.tgz
• yices2smt09-i386-apple-darwin9.8.0.tgz
• yices2smt09-i686-pc-cygwin-static-gmp.tgz
• yices2smt09-i686-pc-cygwin.tgz
• yices2smt09-i686-pc-linux-gnu-static-gmp.tgz
• yices2smt09-i686-pc-linux-gnu.tgz
• yices2smt09-i686-pc-mingw32.tgz
• yices2smt09-powerpc-apple-darwin8.11.0-static-gmp.tgz
• yices2smt09-powerpc-apple-darwin8.11.0.tgz
• yices2smt09-sparc-sun-solaris2.10-static-gmp.tgz
• yices2smt09-sparc-sun-solaris2.10.tgz
• yices2smt09-x86_64-apple-darwin9.8.0-static-gmp.tgz
• yices2smt09-x86_64-apple-darwin9.8.0.tgz
• yices2smt09-x86_64-pc-linux-gnu-static-gmp.tgz
• yices2smt09-x86_64-pc-linux-gnu.tgz