Integrate SAT solver