conp-solutions / mergesat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from niklasso/minisat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
Home Page: https://conp-solutions.com
License: Other