The following x86-linux executable is available for non-commercial use only. This executable is identical to the one used in SMT-COMP'05. Improved versions will be released soon.
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: