For more information, please visit my homepage at http://jiaying.li
lijiaying / minisat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from niklasso/minisat
A minimalistic and high-performance SAT solver
Home Page: minisat.se
License: Other