Bugs

We are grateful for feedback on MiniZinc, including bug reports, feature requests and ideas for improvements.

For general discussions about MiniZinc, please go to the discussion forum.

To report an issue, please use the following issue trackers: