fix sat C#

2018-10-09 16:07:08 +02:00
parent 078756abee
commit ba31fa996b
1 changed files with 1 additions and 1 deletions
--- a/ortools/sat/csharp/CpSolver.cs
+++ b/ortools/sat/csharp/CpSolver.cs
@@ -116,7 +116,7 @@ namespace Google.OrTools.Sat
      }
      else
      {
-        response_ = SatHelper.Solve(model.Model);
+        response_ = SatHelper.SolveWithStringParametersAndSolutionCallback(model.Model, "", cb);
      }
      return response_.Status;
    }