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

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

For the convenience of testing, we offer to 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.