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: