PeRIPLO Download

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:

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.