Gecode 是一款基于约束的可移植高效的系统">应用程序开发工具包。从根上来说,Gecode是个开放的程序,也就是说它可以很容易地连接到其他系统。支持新的传播函数(如执行的约束)、分支策略和搜索引擎的编程。新的可变域可以在同一效率级别的有限域和整数集的预定义变量来进行编程。
Gecode 3.7.2该版本修正了一些小错误。
软件信息:http://www.gecode.org/
下载地址:
http://www.gecode.org/download/gecode-3.7.2.tar.gz
http://www.gecode.org/download/Gecode-3.7.2.dmg
http://www.gecode.org/download/gecode-3.7.2.7z
时间: 2024-10-06 08:26:00