Releases Notes

Yices 2.5.2

Released February 3, 1027.

Yices 2.5.1

Released August 23, 2016.

Yices 2.5.0

Released July 28, 2016.

Yices 2.4.2

Released December 11, 2015.

Yices 2.4.1

Released August 10, 2015.

Yices 2.4.0

Released July 29, 2015.

Yices 2.3.1

Released March 30, 2015.

Yices 2.3.0

Released February 10, 2015.

Yices 2.2.2

Released August 5, 2014.

Yices 2.2.1

Released April 1, 2014.

Yices 2.2.0

Released February 11, 2014.

Yices 2.1.0

Released August 3, 2102.

Yices 2.0.5

Released July 26, 2012. Fixes a bug reported by Richard Uhler.

Yices 2.0.4

Released July 10, 2012.

Yices 2.0.2

Released July 5, 2102. Fixes a bug reported by Richard Uhler.

Yices 2.0.1

Released July 3, 2102. Fixes bugs reported by Richard Uhler.

Yices 2.0.0

First official Yices 2 release (May 26, 2012).

Yices 2 SMT-COMP 2009

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