fix symmetry breaking

2022-10-23 08:12:20 +02:00
parent 7b8d14885e
commit a8bc9af29b
1 changed files with 2 additions and 2 deletions
--- a/examples/python/cover_rectangle_sat.py
+++ b/examples/python/cover_rectangle_sat.py
@@ -74,8 +74,8 @@ def cover_rectangle(num_squares):
        model.Add(x_starts[i] <= x_starts[i + 1]).OnlyEnforceIf(same)

    # Symmetry breaking 2: first square in one quadrant.
-    model.Add(x_starts[0] < 36)
-    model.Add(y_starts[0] < 19)
+    model.Add(x_starts[0] < (size_x + 1)// 2)
+    model.Add(y_starts[0] < (size_y + 1) // 2)

    # Creates a solver and solves.
    solver = cp_model.CpSolver()