rewrite C# CP-SAT linear layer; still one bug

2019-05-13 10:59:04 +02:00
parent 8e74ac2b20
commit ff28ad2f63
14 changed files with 243 additions and 169 deletions
--- a/examples/dotnet/JobshopSat.cs
+++ b/examples/dotnet/JobshopSat.cs
@@ -156,7 +156,7 @@ class JobshopSat
    // Adds no_overkap constraints on unary resources.
    for (int machineId = 0; machineId < machinesCount; ++machineId)
    {
-      model.AddNoOverlap(machinesToTasks[machineId].ToArray());
+      model.AddNoOverlap(machinesToTasks[machineId]);
    }

    // Creates array of end_times of jobs.