Dekker1/linter-mzn
Archived
1
0
Fork 0
Code

Add simple README

Browse Source
This commit is contained in:
Jip J. Dekker 2017-11-17 15:10:41 +11:00
parent 98ddf104e5
commit 39b690acf8
No known key found for this signature in database
GPG Key ID: 9CB1B58997DD0D58
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md Normal file
View File

@ -0,0 +1,9 @@
# 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](https://atom.io/packages/linter) package yet)
- `$ apm install linter-mzn`