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