README.md

SAT benchmarks for various benchmarks

This is repository that streamlines generating and benchmarking logic formulas with proovers SPASS, prover9 and Inkresat.

How to run

Generate formulas

1. Add to PYTHONPATH folder logit-formula-generator
2. Install logit-formula-generator/requirements.txt
3. Run script from data-set that you want. Each script covers a problem derscribed in documentation/thesis/bachelor.pdf

Benchmark formulas

1. Add to PYTHONPATH folder provers-benchmark
2. Install provers-benchmark/requirements.txt
3. Install required proover, see provers-benchmark/scripts
4. Benchmark is configured using yaml files. Use provided one's in prover-benchmarks-configs or default one provers-benchmark/config.yaml

Run provers-benchmark/provers_benchmark.py --help for more info

Create charts

Basic charts in prover-benchmark-charts