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 171
  • Win 55
  • OS X 62
  • Linux 54
Jan 22 Jan 21 Jan 20 Jan 19 Jan 18 Jan 17 Jan 16 Jan 15 Jan 14 Jan 13 Jan 12 Jan 11 Jan 10 Jan 9 Jan 8 Jan 7 Jan 6 Jan 5 Jan 4 Jan 3 Jan 2 Jan 1 Dec 31 Dec 30 Dec 29 Dec 28 Dec 27 Dec 26 Dec 25 Dec 24 Dec 23 Dec 22 Dec 21 Dec 20 Dec 19 Dec 18 Dec 17 Dec 16 Dec 15 Dec 14 Dec 13 Dec 12 Dec 11 Dec 10 Dec 9
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0
OS X 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0
Linux 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0

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.