4 ms·
The version of MiniSat (a Chaff-style solver) that won the SAT competition a few years ago is only on the order of five hundred lines of code. Code: http://min
by psykotic 15y ago
The version of MiniSat (a Chaff-style solver) that won the SAT competition a few years ago is only on the order of five hundred lines of code.
Code: http://minisat.se/MiniSat.html http://minisat.se/MiniSat.html
Paper: http://minisat.se/downloads/MiniSat.pdf http://minisat.se/downloads/MiniSat.pdf