From 68fe085e246dae4d5e512068468176d06b9df801 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Sun, 23 Dec 2018 21:31:11 +0100 Subject: [PATCH] polish --- examples/python/cover_rectangle_sat.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/python/cover_rectangle_sat.py b/examples/python/cover_rectangle_sat.py index 36acc38ad7..e7934acb65 100644 --- a/examples/python/cover_rectangle_sat.py +++ b/examples/python/cover_rectangle_sat.py @@ -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: