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