Finished Formula.not() and SATSolverTest.java