Update LogicSolver.java