[CP-SAT] Improve linearization of product; cleanup presolve code around removable variables

2022-06-29 17:04:58 +02:00
parent ffefef9136
commit 4c82ba2192
19 changed files with 254 additions and 188 deletions
--- a/ortools/sat/samples/ChannelingSampleSat.java
+++ b/ortools/sat/samples/ChannelingSampleSat.java
@@ -61,6 +61,7 @@ public class ChannelingSampleSat {

    // Solve the problem with the printer callback.
    solver.solve(model, new CpSolverSolutionCallback() {
+      @CanIgnoreReturnValue
      public CpSolverSolutionCallback init(IntVar[] variables) {
        variableArray = variables;
        return this;