软件 | Gecode开源约束编程软件 V4.4.0 免费安装版 32位 |
内容 |
Gecode开源约束编程软件:https://www.jb51.net/softs/394918.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语言(一个高级的约束编程的声明式语言)的解释器。 |
标签 | 约束编程软件,Gecode |
缩略图 | ![]() |
软件名称 | Gecode开源约束编程软件 V4.4.0 免费安装版 32位 |
软件图标 | |
软件大小 | 50MB |
发布时间 | |
软件平台 | |
软件语言 | 英文软件 |
软件授权 | 免费软件 |
操作系统 | Windows平台 |
系统类型 | |
用户评分 | 3 |
软件版本 | |
官方网站 | |
官方网址 | |
软件截图 | |
软件总类 | 电脑游戏 |
软件大类 | 软件下载-应用软件-编程开发-编程工具 |
软件小类 | 编程工具 |
开发者 | |
主办单位名称 | |
ICP备案名 | |
备案号 | |
使用年龄 | |
下载链接 | ![]() |
攻略教程 | |
详细介绍 | |
操控设备 | |
隐私政策 | |
查看权限 | |
敏感权限获取说明 | |
软件类型 | 国外软件 |
安全警示 | 适度休息有益身心健康,请勿长期沉迷于使用电脑或刷手机。 |
随便看 |
|
传承兰台文化,共同保存历史记忆!兰台网收藏软件、游戏、图片、图书、电影、电视剧等互联网档案,是免费和可借阅文本、电影、音乐等档案的数字图书馆。