add time limit to ShiftSchedulingSat.cs example

2019-05-16 15:27:07 +02:00
parent a6720e159a
commit 2dbdfdcc30
1 changed files with 2 additions and 1 deletions
--- 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);