MINION 0.15下载地址

高效的求解器进行约束问题

MINION创建一个有用的和开源新的约束条件解算器。如果问题规模的增大）MINION是建立在快速和可扩展性（规模。

MINION与表现力的语言，基于矩阵模型的共同约束建模设备的输入。

与此相反，当前的神器出山:www.shenqi73.com约束工具包，以提供更多的解决选项，已变得越来越复杂性能/可用性的成本。

此版本中的新功能：

错误修正：
·当的爪牙被要求找到解决方案，可以解决的问题没有搜索，它返回了一个解决方案，然后segfaulted。这被纠正，但不改变的一整套的解决方案，但现在退出。

改进：
·的爪牙现在可以平分剩余的搜索，允许并行搜索。进一步详情，请参阅手册。介绍了分割命令行开关。

其他的变化：
·恢复文件的命令行开关已被删除，因为它的功能是没有，简历文件是必要的，因为现在自足。小号