From 39b690acf8e1ba315233caa932ce2456f0c92c27 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Fri, 17 Nov 2017 15:10:41 +1100 Subject: [PATCH] Add simple README --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 README.md 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`