Arkadiusz Paterak
Results
2
comments of
Arkadiusz Paterak
Sorry that I haven't mentioned that I had already tried running this with --verbose. It stops in the same place as in the linked issue, only difference is that there...
Thanks, adding the MiniZinc directory to `PATH` solved the issue.