Commit c5a99b7a authored by Anne Parrain's avatar Anne Parrain
Browse files

add a new PBCP solver for Watched literals with a short name

parent 4330fd16
Pipeline #134 passed with stage
in 11 minutes and 26 seconds
......@@ -674,6 +674,10 @@ public final class SolverFactory extends ASolverFactory<IPBSolver> {
return newCompetPBCPMixedConstraintsObjective();
public static IPBSolver newCuttingPlanesWatched() {
return newCompetPBCPMixedConstraintsMinObjective();
public static IPBSolver newCuttingPlanesStar() {
return newPBCPStar(new PBMaxClauseCardConstrDataStructure(),
new VarOrderHeapObjective(), true);
Markdown is supported
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