Group :: Development/Java
RPM: sat4j
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
Patch: sat4j-core-Dimacs-nooverrides.patch
Download
Download
--- org.sat4j.core/src/org/sat4j/tools/DimacsStringSolver.java 2008-05-25 05:07:56.000000000 -0400
+++ src/org/sat4j/tools/DimacsStringSolver.java 2008-06-10 23:32:10.000000000 -0400
@@ -274,12 +274,10 @@
}
- @Override
public boolean isDBSimplificationAllowed() {
return false;
}
- @Override
public void setDBSimplificationAllowed(boolean status) {
}