mvdwerve / minisat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from niklasso/minisat
A minimalistic and high-performance SAT solver that works on an MPI cluster by sharing conflict clauses
Home Page: http://minisat.se
License: Other