From 8a48695ac80fcf1059db2a145f819685895c31a7 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Mon, 27 May 2019 16:15:18 +0200 Subject: [PATCH] fix --- examples/python/bus_driver_scheduling_sat.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/python/bus_driver_scheduling_sat.py b/examples/python/bus_driver_scheduling_sat.py index b416799691..747af87508 100644 --- a/examples/python/bus_driver_scheduling_sat.py +++ b/examples/python/bus_driver_scheduling_sat.py @@ -298,10 +298,10 @@ def bus_driver_scheduling(minimize_drivers, max_num_drivers): # Solve model. solver = cp_model.CpSolver() solver.parameters.log_search_progress = not minimize_drivers - solver.parameters.num_search_workers = 8 + solver.parameters.num_search_workers = 24 status = solver.Solve(model) - if status != cp_model.OPTIMAL or status != cp_model.FEASIBLE: + if status != cp_model.OPTIMAL and status != cp_model.FEASIBLE: return -1 # Display solution