分类
大小:102.3M更新:2015-10-24
类别:编程辅助系统:WinAll
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语言(一个高级的约束编程的声明式语言)的解释器。
微粒快刀编程辅助.85Mv2.0 绿色版
查看htaccess文件创建软件(DA HtAccess)编程辅助Mv3.1.0 注册版
查看勇芳文件编辑器编程辅助.17Mv3.0.1.1195 绿色免费版
查看vb6.0精简版官方版编程辅助M中文版
查看Git Bash版本控制软件编程辅助Mv 2.9.3 官方版
查看免费的sql格式化工具(SQL Formatter)编程辅助Mv0.03 绿色版
查看SDL Passolo2016软件本地化工具编程辅助MV16.0官方汉化版
查看SX HTML5可视化编辑器编程辅助MV1.80中文版
查看Python环境管理(Anaconda3)编程辅助M2019.10官方版
查看JUSTICE系统编程辅助MV4.1.302中文版
查看易语言最新VC2015静态编译链接器编程辅助MV1.0绿色免费版
查看国信期货CTP交易API接口开发服务编程辅助MV6.2.0官方版
查看AppMakr应用标签生成工具编程辅助Mv1.0 最新版
查看像素骑士团(像素小秘书)编程辅助Mv1.4.0最新版
查看牛人记事本编程辅助Mv1.0官方最新版
查看Firebird Maestro编程辅助Mv17.2 免费版
查看AxScripter编程辅助Mv1.15 (Javascript 和 Vbscript调试工具)
查看融航交易API及Demo Linux版编程辅助M官方版
查看PeStudio编程辅助编程辅助MV8.98 绿色免费版
查看Web编译(HttpMaster Pro)编程辅助Mv 4.4.0专业版
查看蒲公英iOS苹果SDK编程辅助MV2.8.4官方最新版
查看BiblioteQ图书馆编辑管理软件编程辅助MV2015.10.16免费版
查看DebugNasm汇编转换编程辅助M正式版
查看GUI设计工具(GUI Design Studio Pro)编程辅助Mv4.6.155.0 特别版
查看点击查看更多