Download Yices

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: Tue 25 May 2021 02:26 PDT