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
undefined identifier in .ozn file #55
This code produces an error:
It works without errors if either of
Tested with MiniZinc 2.0.8 on Windows.