Create LogicSolver.java