Minizinc的环境配置

环境的配置

先在官方网站下载相应的IDE或者编译器 http://www.minizinc.org/software.html安装路径尽量不要与中文。找到安装路径 把路径设置到系统的环境变量path中，右键我的电脑（计算机）->属性->高级系统设置->高级->系统变量->找到系统变量的path，在后面加个 ; 号，然后把Minizinc 下载的IDE或者编译器环境添加到后面。 打开cmd 输入 mzn-g12fd use –help（help前面两个”-“） 如果出现下图信息，则说明环境变量配置成功。其他语言的编译环境也大致都可以这样配置。 环境配好了，就可以进行下面的学习了。提供一个中文教程 http://www.minizinc.org/tutorial/minizinc-tute-cn.pdf