ctrl+shift+p filters: :st2 :st3 :win :osx :linux
浏览

MiniZinc语言

由 Andreas Stenmark 所有

MiniZinc建模语言的语法高亮

标签 minizinc, 语言, mzn, 语法, 高亮, 构建, 系统

详细信息

安装次数

  • 总数 506
  • Win 194
  • Mac 163
  • Linux 149
8月6日 8月5日 8月4日 8月3日 8月2日 8月1日 7月31日 7月30日 7月29日 7月28日 7月27日 7月26日 7月25日 7月24日 7月23日 7月22日 7月21日 7月20日 7月19日 7月18日 7月17日 7月16日 7月15日 7月14日 7月13日 7月12日 7月11日 7月10日 7月9日 7月8日 7月7日 7月6日 7月5日 7月4日 7月3日 7月2日 7月1日 6月30日 6月29日 6月28日 6月27日 6月26日 6月25日 6月24日 6月23日
Windows 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 0 0 0 0 1 0 0 0 0
Mac 1 1 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 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 2 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

README

源代码
raw.​githubusercontent.​com

Sublime Text的MiniZinc扩展包

MiniZinc建模语言（.mzn和.dzn文件）的语法高亮。它看起来是这样的

alt text

alt text

安装

将MZN.*文件复制到Sublime Text的“Packages”目录中。这可以通过克隆此存储库或下载zip文件来完成。可以通过以下方式找到包的位置：首选项 -> 浏览包...，或者如下

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

或者，导航到“Packages”目录并克隆git存储库。

关于MiniZinc

MiniZinc是一种中等程度的约束建模语言。它足够高级，可以轻松表达大多数约束问题，但足够底层，可以轻松且一致地映射到现有的求解器。它是高级语言Zinc的一个子集。

MiniZinc可在http://www.minizinc.org/获得

功能

此包添加了对所有内置函数和全局约束以及字符串、数值、常量和关键词的语法高亮。

注释也进行了高亮。在MiniZinc中，行注释以%开始，多行注释被/* */包围。

还包含一个非常简单的构建系统。为了求解模型，按下Ctrl-B（或者在OS X上按下Cmd-B）将当前模型文件上的minizinc程序调用。但请注意，在这个构建系统中目前无法指定外部数据文件。它还要求minizinc能够被Sublime Text识别，这取决于您的系统默认安装的情况。最后，构建系统也不允许改变任何命令行参数或改变求解器。但非常简单的模型它是可以工作的。

许可证

版权所有 © 2015-2016 Andreas Stenmark

这是一款免费软件。它按照MIT许可证授权。您可以在自己的工作中自由使用它。但是，如果您对其进行修改和/或重新分发，请以某种方式注明出处，并且如果能将您的工作分发给使用此许可证或类似许可证的，那将会更好，但并非必要。