Closed WeileiZeng closed 4 years ago
fail and exit at 100: Maxima -> MiniZinc
You need to pass --privileged
option. I'm unsure why Maxima requires the option. The CI configuration would be useful for you.
Great! I ran it successfully! Thanks!
I saw that file but thought I don't have the privilege. Haha.
Is there a runnable docker image? I tried several ways, but it is not working for me.
What I have tried: