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