Dekker1/linter-mzn

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.

Go to file

Jip J. Dekker 2b0e4c5abb

Prepare 0.1.2 release

2017-11-29 16:39:25 +11:00

Fixes errors being shown in the wrong file

2017-11-29 16:22:37 +11:00

Insert linter into a package

2017-11-17 15:01:07 +11:00

.gitignore

Insert linter into a package

2017-11-17 15:01:07 +11:00

CHANGELOG.md

Fixes errors being shown in the wrong file

2017-11-29 16:22:37 +11:00

package.json

Prepare 0.1.2 release

2017-11-29 16:39:25 +11:00

README.md

Add simple README

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

README.md

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