sat-bench

A small repo to test and benchmark different sat solvers

Benchmarking solver

Building

A simple make should be enough to build the main test executable.

Running benchs

The produced main.native executable can be called using:

./main.native <file>

Additionally, it has options to select which provers to run, filtering on the name or package of the solver.

Finally, a special command make bench can be used to launch the benchmarks on a set of selected problems.