ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Mini​Zinc Language

by Andreas Stenmark ST2/ST3

Syntax highlighting for the MiniZinc modelling language

Details

Installs

  • Total 225
  • Win 75
  • OS X 79
  • Linux 71
Oct 19 Oct 18 Oct 17 Oct 16 Oct 15 Oct 14 Oct 13 Oct 12 Oct 11 Oct 10 Oct 9 Oct 8 Oct 7 Oct 6 Oct 5 Oct 4 Oct 3 Oct 2 Oct 1 Sep 30 Sep 29 Sep 28 Sep 27 Sep 26 Sep 25 Sep 24 Sep 23 Sep 22 Sep 21 Sep 20 Sep 19 Sep 18 Sep 17 Sep 16 Sep 15 Sep 14 Sep 13 Sep 12 Sep 11 Sep 10 Sep 9 Sep 8 Sep 7 Sep 6 Sep 5 Sep 4
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0
OS X 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1

Readme

Source
raw.​githubusercontent.​com

MiniZinc package for Sublime Text

Syntax highlighting for the MiniZinc modelling language (.mzn and .dzn files). Here's what it looks like:

alt text

alt text

Installation

Copy the MZN.* files into the Sublime Text “Packages” direcory. This can be done either by cloning this repository, or by downloading the zip file. The packages location can be found via Preferences -> Browse Packages..., or as follows:

  • OS X: ~/Library/Application Support/Sublime Text 3/Packages/
  • Linux: ~/.Sublime Text 3/Packages/
  • Windows: %APPDATA%/Sublime Text 3/Packages/

Alternatively, navigate to the “Packages” directory and clone the git repository.

About MiniZinc

MiniZinc is a medium-level constraint modelling 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/

Features

This package adds syntax highlighting for all built-in functions and global constraints, as well as strings, numeric values, constants and keywords.

Comments are also highlighted. In MiniZinc, line comments are started by %, and block comments are enclosed in /* */.

A very simple build system is also included. To solve a model, Ctrl-B (or Cmd-B on OS X) invokes the minizinc program on the current model file. However, do note that external data files cannot currently be specified in this build system. It also requires that minizinc is visible to Sublime Text, which may not be the case in the default installation depending on your system. Finally, the build system also does not allow changing any command line parameters or changing solvers. But for very simple models it works.

License

Copyright © 2015-2016 Andreas Stenmark

This is free software. It is licensed under the MIT License. Feel free to use this in your own work. However, if you modify and/or redistribute it, please attribute me in some way, and it would be great if you distribute your work under this or a similar license, but it's not required.