Gecode

码农软件 · 软件分类 · 其他开发相关 · 2019-10-26 21:59:12

授权协议: MIT/X
开发语言: C/C++
操作系统: 跨平台
软件首页: http://www.gecode.org/
软件文档: http://www.gecode.org/documentation.html

软件介绍

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