I'm not sure which one exactly, but it's a SAT solver, so it uses a SAT solving algorithm [1]. 1 - http://en.wikipedia.org/wiki/Boolean_satisfiability_problem#

I'm not sure which one exactly, but it's a SAT solver, so it uses a SAT solving algorithm [1]. 1 - http://en.wikipedia.org/wiki/Boolean_satisfiability_problem#Algorithms_for_solving_SAT http://en.wikipedia.org/wiki/Boolean_satisfiability_problem#...