Interface to sat-pool and sat-solver.