1.简介
Minion是一种常用的约束满足问题的求解器（http://minion.sourceforge.net/
），是开源的，可以嵌入自己的算法。下面详细介绍Minion的运行、编译方式及其所需环境配置。
2.环境配置
Microsoft Visual C++最新版本
3.运行方式
3.1 直接运行
（1） cmd 到....\minion-1.8\bin
（2） 在cmd窗口输入：绝对路径\文件名（这里必须用绝对路径，不能用相对路径）
3.2 bat脚本运行
（1）解压，进入...\Release（或bin）文件夹下，会看到minion.exe；
（2）新建run.bat, 右键run.bat, 点击编辑，可打开run.bat，编写如下代码：for /r .......\test %%i in (*.minion) do @minion.exe "%%i"
将.......\test换成自己所在的路径，且必须是绝对路径。保存关闭.
（3）将所需运行的数据文件放在test文件夹下；
（4）双击run.bat运行
4.编译方式
（1）在任意位置新建一个文件夹resultFromCmake，这个文件夹resultFromCmake将存储cmake后的文件和vs编译后的文件
（2）cmd到新建文件夹resultFromCmake下 输入：cmake ...\minion-1.8（此目录是CMakeLists.txt文件所在目录），回车，不提示错误就成功啦。所生成的文件全部在新建的文件夹下。
（3）在新建的文件夹resultFromCmake下，找到MinionProject.sln，右键用vs打开。
（4）在解决方案 MinionProject中找到minion，选中，右键，生成。
（5）生成的minion.exe在文件夹resultFromCmake下的Debug或bin下，与选择的编译模式相对应。release编译，如果运行出错，不会显示错误在哪里，而debug编译的会显示错误，但是debug运行会相对慢。
测试阶段选择生成debug，真正比较的时候用release。