conp-solutions
Results
1
repositories owned by
conp-solutions
mergesat
40
Stars
3
Forks
Watchers
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
