minisat solver by Michael Codish, Vitaly Lagoon, Peter J. Stuckey.