Archived

This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker 39b690acf8

2017-11-17 15:10:41 +11:00

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