Beispiel #1
0
 // Formula is satisfiable
 void success(Formula f) {
   System.out.println("Formula is satisfiable");
   // Print satisfying assignment
   formula.printAssignment();
 }