Results
1
comments of
Jon Stingel
Just tried to replicate, but used the `solver.set_parallel(int)` call first, and it didn't crash.