switch to Bazel modules; slight improvements in CP-SAT 2D packing propagators

2024-11-03 11:07:22 +01:00
parent ce39e05b2d
commit 7053436950
59 changed files with 768 additions and 349 deletions
--- a/examples/java/IntegerProgramming.java
+++ b/examples/java/IntegerProgramming.java
@@ -30,7 +30,7 @@ public class IntegerProgramming {
      System.out.println("Could not create solver " + solverType);
      return;
    }
-    double infinity = java.lang.Double.POSITIVE_INFINITY;
+    double infinity = Double.POSITIVE_INFINITY;
    // x1 and x2 are integer non-negative variables.
    MPVariable x1 = solver.makeIntVar(0.0, infinity, "x1");
    MPVariable x2 = solver.makeIntVar(0.0, infinity, "x2");