Minisat binding as CnfSolver Minisolver