ToySolver.SAT.TheorySolver