public void testWalkSat() { WalkSAT walkSAT = new WalkSAT(); Model m = walkSAT.findModelFor("( A AND B )", 1000, 0.5); if (m == null) { System.Console.WriteLine("failure"); } else { m.print(); } }