Dekker1/language-mzn

Archived

This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.

Go to file

Jip J. Dekker 5ff2193335 Prepare 0.6.1 release

2017-06-17 23:03:09 +02:00

Fixes double dot problem with numerical constrants

2016-01-18 22:25:33 +01:00

Upgrade to Linter API v2

2017-03-18 23:13:08 +01:00

Adds indentation rules

2015-12-02 18:55:28 +01:00

Removes tab for the forall snippet

2015-12-03 12:21:28 +01:00

.gitignore

Blank atom package

2015-11-19 22:56:45 +01:00

CHANGELOG.md

Update repository URL

2017-06-17 23:02:42 +02:00

LICENSE.md

Adds my name to the license

2015-11-19 23:33:05 +01:00

package.json

Prepare 0.6.1 release

2017-06-17 23:03:09 +02:00

README.md

Updates the screenshot of the readme

2016-01-18 22:28:52 +01:00

sample.mzn

Updates the screenshot of the readme

2016-01-18 22:28:52 +01:00

sample.png

Updates the screenshot of the readme

2016-01-18 22:28:52 +01:00

README.md

MiniZinc for Atom

This package adds syntax highlighting and optional linting for the MiniZinc modeling language (.mzn and .dzn files). The package is based on the similar package for Sublime.

About MiniZinc

MiniZinc is a medium-level constraint modeling language. It is high-level enough to express most constraint problems easily, but low-level enough that it can be mapped onto existing solvers easily and consistently. It is a subset of the higher-level language Zinc.

MiniZinc is available from http://www.minizinc.org/