Download Yices 0.1.1

The following x86-linux executable is avaiable for non-commercial use only. This executable is based on the one submitted to SMT-COMP'05, but it has some bug fixes.

Yices reads a single input formula presented on its standard input channel. Yices uses the concrete syntax of the SMT-LIB format, version 1.1.


Last modified: