snicolai-blog
Results
2
comments of
snicolai-blog
With MiniZinc 2.8.5 and SCIP 9.0.1, this model now solves at -O0, -O1 and -O2.
Another option is to add `"while processing "` to the error message.