PeRIPLO Download

The functionality of PeRIPLO is now integrated to OpenSMT2. Please use OpenSMT2 code instead!

Source code of the tool and executables can be obtained from: https://code.google.com/p/periplo/.

For convenience of testing, we offer for download the SMT-LIB2 translation of a collection of benchmarks from the SAT-LIB: Benchmarks.

The original benchmarks, in DIMACS format, can be found here.