From 2dbdfdcc30370dcab26558c614a40ba630c44509 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Thu, 16 May 2019 15:27:07 +0200 Subject: [PATCH] add time limit to ShiftSchedulingSat.cs example --- examples/dotnet/ShiftSchedulingSat.cs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/examples/dotnet/ShiftSchedulingSat.cs b/examples/dotnet/ShiftSchedulingSat.cs index 3b3c96d93a..d2fffbea5b 100644 --- a/examples/dotnet/ShiftSchedulingSat.cs +++ b/examples/dotnet/ShiftSchedulingSat.cs @@ -284,7 +284,8 @@ public class ShiftSchedulingSat // Solve model var solver = new CpSolver(); - solver.StringParameters = "num_search_workers:8, log_search_progress: true"; + solver.StringParameters = + "num_search_workers:8, log_search_progress: true, max_time_in_seconds:30"; var status = solver.Solve(model);