Exemplo n.º 1
0
 public int picosat_sat(int decisionLimit) {
   return INSTANCE.picosat_sat(currentPicosatObject, decisionLimit);
 }