Gecode 3.7.0 发布

红薯
 红薯
发布于 2011年09月01日
收藏 0

Gecode是一个用于开发基于约束的系统应用程序,是一个可移植、高效的环境。 Gecode是从根本上进行编程开放,这意味着它可以很容易地与其他系统的接口。它支持新的传播者(如约束的执行情况),分支策略,和搜索引擎编程。新的 变量域可以被编程的效率,在有限域和整数集,拿出Gecode预定义变量相同的水平。

Changes: This release adds and improves quite a number of constraints: total lexicographic order for set variables, membership constraints for integer variables, counting constraints for integer variables using integer sets, range, roots, set element constraints for integer variables, and number of values for integer variables. All of these constraints (and some more) are now also available in FlatZinc. Additionally, there were some fixes and improvements

本站文章除注明转载外,均为本站原创或编译。欢迎任何形式的转载,但请务必注明出处,尊重他人劳动共创开源社区。
转载请注明:文章转载自 OSCHINA 社区 [http://www.oschina.net]
本文标题:Gecode 3.7.0 发布
加载中
返回顶部
顶部