-
Notifications
You must be signed in to change notification settings - Fork 2.3k
Open
Labels
BugLang: .NET.Net wrapper issue.Net wrapper issueSolver: CP-SAT SolverRelates to the CP-SAT solverRelates to the CP-SAT solver
Milestone
Description
What version of OR-Tools and what language are you using?
Version: 9.14.6206
Language: C#
Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)
CP-SAT
What operating system (Linux, Windows, ...) and version?
Windows
What did you do?
Steps to reproduce the behavior:
- Create solver: var solver = new CpSolver();
- Slove Model: var status = solver.Solve(model, cb);
- Call solver.StopSearch() by another thread
- dead lock: StopSearch() do not return, SolveWrapper.Dispose() wait StopSearch() Thread free lock
What did you expect to see
What did you see instead?
Make sure you include information that can help us debug (full error message, model Proto).
Anything else we should know about your project / environment
Metadata
Metadata
Assignees
Labels
BugLang: .NET.Net wrapper issue.Net wrapper issueSolver: CP-SAT SolverRelates to the CP-SAT solverRelates to the CP-SAT solver