3 ms·

For anyone who understands easier through code, I suggest: https://github.com/msoos/minisat-v1.14 https://github.com/msoos/minisat-v1.14 It's an early version

by zero_k 3y ago

For anyone who understands easier through code, I suggest: https://github.com/msoos/minisat-v1.14 https://github.com/msoos/minisat-v1.14 It's an early version of MiniSat by Niklas Eén and Niklas Sörensson. You can get the original ZIP from minisat.se, but it's easier to read from GitHub. Enjoy!