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.