Commit b7310b2f authored by tfalque.ext's avatar tfalque.ext
Browse files

🐛 fixes compilation

parent 3caf0d88
Pipeline #17629 passed with stages
in 74 minutes and 38 seconds
......@@ -91,6 +91,7 @@ import org.sat4j.pb.lcds.PBGlucoseLCDS;
import org.sat4j.pb.orders.Bumper;
import org.sat4j.pb.orders.BumperEffective;
import org.sat4j.pb.orders.VarOrderHeapObjective;
import org.sat4j.pb.preprocessing.GaussPBPreprocessing;
import org.sat4j.pb.restarts.GrowingCoefficientRestarts;
import org.sat4j.pb.tools.InprocCardConstrLearningSolver;
import org.sat4j.pb.tools.ManyCorePB;
......@@ -1330,7 +1331,8 @@ public final class SolverFactory extends ASolverFactory<IPBSolver> {
}
public static IPBSolver newGaussPreprocessingSolver() {
return new PreprocessibleSolver(newCuttingPlanesPOS2020WL());
return new PreprocessibleSolver(newCuttingPlanesPOS2020WL(),
new GaussPBPreprocessing(null));
}
}
\ No newline at end of file
......@@ -23,6 +23,11 @@ public class GaussPBPreprocessing extends AbstractPBPreprocessing {
this.groups = new ArrayList<>();
}
public GaussPBPreprocessing() {
super();
this.groups = new ArrayList<>();
}
@Override
protected List<PBPreprocessingConstraint> internalPreprocess(
List<PBPreprocessingConstraint> constraints) {
......
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