libminisat library as Deepsolver engine for SAT solving. You can find
original library at http://minisat.se. 
