The following (gzipped) 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.
Simplics reads a single input formula presented on its standard input channel. Simplics uses the concrete syntax of the SMT-LIB format, version 1.1.
The following x86-linux executables are available for non-commercial use only. These executables fix several bugs from the Simplics version that entered thte SMT-COMP'05 competition.
Last modified: