Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
annotation functions #53
I am trying to use annotation functions but I ran accross some problem. Here is my code:
The annotation function works fine if the passed annotation does not take any argument but it crashes if the passed annotation takes an argument as in the example above. The error message is:
Is this a bug or am I simply hitting the limits of mzn2fzn?