This package provides the following services:
linter-mzn
A linter for your MiniZinc models in Atomm using mzn2fzn.
Installation
- Install MiniZinc (installation location can be configured in the Atom configuration)
$ apm install linter(If you don't have the Linter package yet)$ apm install linter-mzn