Gecode 3.7.2下载地址

通用的约束开发环境

Gecode是一个工具包，用于开发基于约束的系统和应用程序。 Gecode提供了一种约束求解与国家的最先进的性能，同时具有模块化和可扩展的。

的Gecode是完全开放的编程：它可以很容易地连接到其他系统。它支持新的神器出山:www.shenqi73.com传播者（如实施限制），分支策略，和搜索引擎的编程。

新的变量域可以在相同的效率水平有限域和整数集与Gecode预定义变量来编程。

取得Gecode，并给它一个尝试，看看如何有用的，它实际上是你！

要求：

·< Visual Studio中

此版本中的新功能：

该版本修正了几个小错误。

内核：
·新增的花车和双打的存档操作。 （未成年人）

有限域的整数：
·抛出异常的的类型OutOfLimits，而不是异常时的数值序列约束的参数超出范围的。 （未成年人）

错误修正：
·添加缺少修剪累计边缘发现传播。
·固定排序的约束，接受零长度数组。
·张贴通道之间的布尔变量数组和一个整型变量约束时，增加了一些丢失的传播。

性能改进：
发布具体化的DOM约束IntVars分配的控制变量没有创建的传播者更多，但立即更新域。 （未成年人）

有限整数集：
·的元素约束与SOT_UNION和IntSetArgs报告的包容太早，导致不正确的传播。

最小的建模支持：
·Bug修正
·的BoolExpr默认的构造函数没有正确地初始化它的成员，导致崩溃。 （未成年人）

·脚本命令