Beispiel #1
0
 public int[] oneSatisfyingAssignment(int[] buffer) {
   return bdd.oneSat(id, buffer);
 }