o new package hierarchy\n o added regex to LogicSolver.java to match 2-sat formulas\n o still buggy