minisat solver by Michael Codish, Vitaly Lagoon, Peter J. Stuckey. - View it on GitHub