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 260
  • Win 88
  • OS X 87
  • Linux 85
May 22 May 21 May 20 May 19 May 18 May 17 May 16 May 15 May 14 May 13 May 12 May 11 May 10 May 9 May 8 May 7 May 6 May 5 May 4 May 3 May 2 May 1 Apr 30 Apr 29 Apr 28 Apr 27 Apr 26 Apr 25 Apr 24 Apr 23 Apr 22 Apr 21 Apr 20 Apr 19 Apr 18 Apr 17 Apr 16 Apr 15 Apr 14 Apr 13 Apr 12 Apr 11 Apr 10 Apr 9 Apr 8
Windows 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
OS X 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 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 0 0 0 0 1 0 0 0 0 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.