Atom package to provide syntax highlighting for the MiniZinc constraint modelling language
dekker.one
1% Model of the queens problem
2include "globals.mzn";
3
4% parameters
5int: n=8;
6
7% variables
8array[1..n] of var 1..n: R;
9
10% constraints
11constraint all_different(R);
12constraint all_different([R[i] + i | i in 1..n]);
13constraint all_different([R[i] + i | i in 1..n]);
14
15% objective
16solve satisfy;
17
18% output
19output [show(R)];