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.