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.");
}
