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