Closed mhechthz closed 1 year ago
Your issue was here: https://github.com/jump-dev/MiniZinc.jl/issues/15
I fixed it in https://github.com/jump-dev/MiniZinc.jl/pull/17
A new version is available: https://github.com/jump-dev/MiniZinc.jl/releases/tag/v0.2.0
Please update your packages.
All-in-all, MiniZinc.jl is new and it is still a little rough. Please keep reporting bugs and feature requests :smile:
So I did 😄
Closing as a duplicate of #15
I posted this recently but now it vanished.
If I import MiniZinc I get the error:
ERROR: LoadError: InitError: Unsupported platform
Importing a second time is no problem. so I have to do the following
So after this all works well. Where is the problem?