Exemplo n.º 1
0
 private void checkLibraryVersion(String path) {
   int version = 0;
   try {
     version = Integer.parseInt(INSTANCE.picosat_version());
   } catch (NumberFormatException e) {
   }
   if (version < 959)
     System.err.println(
         "Warning: The picosat library provided in "
             + path
             + " seems to be too old. "
             + "Only version 959 and following are supported! The application might crash randomly.");
 }
Exemplo n.º 2
0
 public int picosat_deref(int int_lit) {
   return INSTANCE.picosat_deref(currentPicosatObject, int_lit);
 }
Exemplo n.º 3
0
 public int picosat_variables() {
   return INSTANCE.picosat_variables(currentPicosatObject);
 }
Exemplo n.º 4
0
 public int picosat_sat(int decisionLimit) {
   return INSTANCE.picosat_sat(currentPicosatObject, decisionLimit);
 }
Exemplo n.º 5
0
 public void picosat_reset() {
   INSTANCE.picosat_reset(currentPicosatObject);
 }
Exemplo n.º 6
0
 public void picosat_init() {
   currentPicosatObject = INSTANCE.picosat_init();
 }
Exemplo n.º 7
0
 public int picosat_add(int lit) {
   return INSTANCE.picosat_add(currentPicosatObject, lit);
 }
Exemplo n.º 8
0
 public int picosat_coreclause(int cls) {
   return INSTANCE.picosat_coreclause(currentPicosatObject, cls);
 }