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

polish

Browse Source
This commit is contained in:
Laurent Perron
2018-12-23 21:31:11 +01:00
parent 85bf1b2624
commit 68fe085e24
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

@@ -74,7 +74,7 @@ def cover_rectangle(num_squares):
# Creates a solver and solves.
solver = cp_model.CpSolver()
status = solver.Solve(model)
print(solver.StatusName(status), solver.WallTime(), 'ms')
print('%s found in %0.2fs' % (solver.StatusName(status), solver.WallTime()))
# Prints solution.
if status == cp_model.FEASIBLE: