dekker.one / atom-linter-mzn
Atom linter for MiniZinc
fork atom
CoffeeScript 100.0%
16 1 3

Clone this repository

https://tangled.org/dekker.one/atom-linter-mzn https://tangled.org/did:plc:7w3n7caddphrojzkq2qmlyy4/atom-linter-mzn
git@knot.dekker.one:dekker.one/atom-linter-mzn git@knot.dekker.one:did:plc:7w3n7caddphrojzkq2qmlyy4/atom-linter-mzn

For self-hosted knots, clone URLs may differ based on your setup.

Download tar.gz
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