From e02c1a743676eadfc10aba6807a2a512fb405cf4 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Mon, 13 May 2019 10:52:36 +0200 Subject: [PATCH] add log_search_true; increase size --- examples/contrib/magic_sequence_sat.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/contrib/magic_sequence_sat.py b/examples/contrib/magic_sequence_sat.py index c0f43598c7..9c58fb5630 100644 --- a/examples/contrib/magic_sequence_sat.py +++ b/examples/contrib/magic_sequence_sat.py @@ -21,7 +21,7 @@ from ortools.sat.python import cp_model def main(): """Magic sequence problem.""" - n = 50 + n = 100 values = range(n) model = cp_model.CpModel() @@ -42,6 +42,7 @@ def main(): solver = cp_model.CpSolver() # No solution printer, this problem has only 1 solution. + solver.parameters.log_search_progress = True solver.Solve(model) print(solver.ResponseStats()) for k in values: