PeRIPLO Download

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.