MiniSat-p v1.14
This is a patched and slightly extended version of the MiniSat v1.14 solver with proof logging. The original source code, by Niklas Een and Niklas Sörensson, is available at the MiniSat page.
MiniSat v1.14 with proof logging
This is a patched and slightly extended version of the MiniSat v1.14 solver with proof logging. The original source code, by Niklas Een and Niklas Sörensson, is available at the MiniSat page.
MiniSat v1.14 with proof logging
Other