always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix #3463

Browse Source
This commit is contained in:
Laurent Perron
2022-09-20 10:58:11 +02:00
parent 6824a9b861
commit 62f6689d81
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
examples/python/cover_rectangle_sat.py
View File

@@ -42,7 +42,7 @@ def cover_rectangle(num_squares):
interval_y = model.NewIntervalVar(start_y, size, end_y, 'iy_%i' % i)
area = model.NewIntVar(1, size_y * size_y, 'area_%i' % i)
model.AddProdEquality(area, [size, size])
model.AddMultiplicationEquality(area, [size, size])
areas.append(area)
x_intervals.append(interval_x)