DPS is a framework to make a deterministic parallel SAT solver easily. It originates from ManyGlucose that is a reproducible efficient Parallel SAT Solver. ManyGlucose got the 3rd place in parallel track of SAT 2020 competition even with deterministic behavior.
- Release version
$ ./build r $ ./Release/DPS-X.Y.Z SAT-instance.cnf
- Debug version
$ ./build d $ ./Debug/DPS-X.Y.Z SAT-instance.cnf
- All experimental results are available at https://nabesima.github.io/DPS-pos2022/.