Skip to content
Commit e9746aed authored by Matej Kozub's avatar Matej Kozub
Browse files

Add TaskManager for threaded solver, fix solver stuck as running when actually done

parent cb397db7
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment