Commit 985bae75 authored by Romain WALLON's avatar Romain WALLON

Fixes the solver instantiated for RoundingSatPOS2020

parent a94fbade
Pipeline #9329 passed with stages
in 104 minutes and 50 seconds
......@@ -1194,7 +1194,7 @@ public final class SolverFactory extends ASolverFactory<IPBSolver> {
public static IPBSolver newRoundingSatPOS2020() {
PBSolverCP solver = (PBSolverCP) newPartialRoundingSat();
PBSolverCP solver = (PBSolverCP) newRoundingSat();
// Best bumping strategy: bump-assigned.
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