diff --git a/README.md b/README.md new file mode 100644 index 0000000..bf59bf1 --- /dev/null +++ b/README.md @@ -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`