A linter for your MiniZinc models in Atomm using mzn2fzn
.
$ apm install linter
(If you don't have the Linter package yet)$ apm install linter-mzn
Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.