Commit 681be8df authored by tfalque.ext's avatar tfalque.ext
Browse files

updates

parent db847958
Pipeline #17733 failed with stages
in 35 minutes and 25 seconds
......@@ -33,6 +33,10 @@ public class ProbingPBPreprocessing extends AbstractPBPreprocessing {
private final List<PBPreprocessingConstraint> inferredConstraints = new ArrayList<>();
public ProbingPBPreprocessing(PBPreprocessing preproc) {
super(preproc);
}
private final PBSearchListener<ISolverService> listener(int lit) {
propagatedLiterals[LiteralsUtils.toInternal(lit)] = new VecInt();
return new PBSearchListenerAdapter<ISolverService>() {
......
......@@ -55,6 +55,7 @@ import org.sat4j.pb.preprocessing.DegreeModifierPBPreprocessing;
import org.sat4j.pb.preprocessing.GaussPBPreprocessing;
import org.sat4j.pb.preprocessing.NullPBPreprocessing;
import org.sat4j.pb.preprocessing.PBPreprocessing;
import org.sat4j.pb.preprocessing.ProbingPBPreprocessing;
import org.sat4j.pb.reader.OPBReader2012;
import org.sat4j.pb.restarts.GrowingCoefficientRestarts;
import org.sat4j.pb.tools.InprocCardConstrLearningSolver;
......@@ -540,6 +541,10 @@ public class KTHLauncher {
if("maxdegree".equals(v)) {
preproc=DegreeModifierPBPreprocessing.newMaxDegree(preproc);
}
if("probing".equals(v)) {
preproc=new ProbingPBPreprocessing(preproc);
}
}
pbsolver=new PreprocessibleSolver(cpsolver, preproc);
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment