Gecode开源约束编程软件32位：https://www.jb51.net/softs/394917.html

Gecode开源约束编程软件是一款发展的约束访问，便携，高效的环境为基础的系统和应用程序，提供了一种先进的性能 Gecode约束求解器，模块化和可扩展性，从根本上进行编程开放，这意味着它可以很容易地与其他系统的接口。它支持新的传播者（如约束的执行情况），分支策略，和搜索引擎编程。新的变量域可以被编程的效率，在有限域和整数集，拿出Gecode预定义变量相同的水平。
功能说明开放
Gecode彻底开放编程：它可以很容易地连接到其他 系统 。它支持新的限制，程序分支策略， 和搜索。新的可变域可以被编程在效率相同的 水平作为变量，来 Gecode预定义。
综合
Gecode具有全面的功能集：约束整型，布尔型，集，浮（它实现了超过70的限制，从
全局约束目录
和许多更多的顶部）；C++建模层；先进的分支启发式（累计失效数，活动）；许多搜索引擎（平行，交互式图形，重新启动）；自动对称破缺（ldsb）；没有货物从重启；MiniZinc支持；多。
高效
Gecode提供相对于运行时间和内存使用性能优良 。它赢得了全部金牌全部在MiniZinc挑战类从2008到2012：2012，2011，2010，2009，和2008。
记录
Gecode配备完整的教程（500多页）和完整的参考文档 ，让用户专注于不同的建模和编程 任务Gecode。
免费
Gecode在麻省理工学院的分布
许可证
和是上市的自由软件。它的所有组成部分 包括参考文档，实现全局约束， 和实例可作为 源代码下载。
便携式
Gecode的C + +，认真遵循C++的标准实施。 可以编译与现代的C++编译器和运行在 广泛被机器（包括64位机。
并行
Gecode符合现实，它利用并行搜索今天的商品硬件的多核 ，给一个已经 高效的基础系统的一个额外的边缘。
测试
Gecode使用一个测试套件的近50000种不同的测试用例达到接近100%的测试覆盖率。
使用说明C++实现的。通过对gecode的学习，既可以解决自己的约束规划方面的问题，又可以学习到C++的精彩应用。gecode还提供了一个基于gecode的flatzinc语言（一个高级的约束编程的声明式语言）的解释器。

• TP交换机
• 亿利达风机
• Bitvise SSH Client
• 跳槽简历模板范文
• HDMI矩阵
• 表格简历模板免费
• ssd数据恢复
• 前端简历范文
• 前端工程师简历范文
• 平面设计师简历范文
• 平面设计简历范文模板
• 平面设计简历范文
• SoftPerfect Switch Port Mapper
• 全局窗口切换工具
• Alt+Tab Replacer
• 小风翻译助手
• FastWindowSwitcher
• 高中课程表时间安排
• 高中学习计划表
• 寒假学习计划表
• 基础会计科目表
• 家访登记表
• 家访记录表小学
• 假期学习计划表
• 教师家访记录表
• PayPal SMS Widget
• Smart Team Picker
• Zombie ICS GO SMS
• BoldVoicesMachineExtreme
• SMS Child Locator
• 超级马里奥银河2
• 草原犬鼠猎人
• 圣诞老人攀登
• 寺玛雅
• Best Brain
• 江城子一片痴情
• 静观天地乐
• 国士无双，情深不寿
• WS同人
• 乔峰的杯具
• (综琼瑶)我是小白花
• 姐姐你就从了吧
• 刹那芳华,心底留痕
• 让人心痛的妖女们
• 不得不爱她
• 京华烟云
• 识骨寻踪 第一季
• 爱情中毒
• 谁主中原
• 玉碎
• 胭脂水粉
• 肝胆昆仑
• 老婆大人
• 金色年华
• 大姐