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."); }
public int picosat_deref(int int_lit) { return INSTANCE.picosat_deref(currentPicosatObject, int_lit); }
public int picosat_variables() { return INSTANCE.picosat_variables(currentPicosatObject); }
public int picosat_sat(int decisionLimit) { return INSTANCE.picosat_sat(currentPicosatObject, decisionLimit); }
public void picosat_reset() { INSTANCE.picosat_reset(currentPicosatObject); }
public void picosat_init() { currentPicosatObject = INSTANCE.picosat_init(); }
public int picosat_add(int lit) { return INSTANCE.picosat_add(currentPicosatObject, lit); }
public int picosat_coreclause(int cls) { return INSTANCE.picosat_coreclause(currentPicosatObject, cls); }