gini
gini copied to clipboard
go-air
A fast SAT solver
focus subsets of benchmark suites would allow easier use of the tool with less computational cost, for faster development turn around. The idea is you have a suite and a...
to participate in the SAT competition, we need to support proof tracing also, maybe an in-memory proof xo solver will be useful.
The benchmarking tool needs to be able to manage active runs better. Currently, it assumes all runs are complete when doing comparisons.