Download Simplics

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.

Simplics-0.1.1: Bug Fixes

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: