[SMT-LIB] Yices 2 source available

[Bruno Dutertre]

We are pleased to announce that the Yices source code
is now available.  Source and binary distributions
can be downloaded at http://yices.csl.sri.com/

The current release is Yices 2.2.2. It fixes several
bugs and includes support for solving exists/forall
problems.

Please visit http://yices.csl.sri.com for updates and more
information about Yices.

Bruno