详情介绍
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语言(一个高级的约束编程的声明式语言)的解释器。
下载地址
人气软件

Java SE Development Kit(JDK) 17.0.15 官方正式版 Win64
JDK11(Java SE Development Kit 11) v11.0.27 x64 LTS 长期支持
EXT界面图形工具Ext Designer 特别版
JetBrains Pycharm Pro 2025.1 中文专业免费正式版(附汉化包+安
intellij IDEA v2025.1 社区版 官方中文正式版(附汉化包+安装方
myeclipse2016破解工具 v1.0 破解补丁(附安装教程)
Java SE Development Kit(JDK1.8) jdk-8u451-windows-x64.exe 64
Java SE Development Kit(JDK) 17.0.15 官方正式版 Linux64
安卓集成开发工具Android Studio 2024.3.1.13 + SDK 2024.1.09 W
Zend Studio 10.1.0与10.0.1 破解文件与注册码打包
相关文章
-
CodeAsk for Linux (代码分析工具) v1.0.3 免费Linux版CodeAsk是一款基于大模型的代码分析工具,通过提示词可提供智能的代码梳理与分析、安全漏洞检测、代码质量评估等功能,还能生成有趣的prompt,助力开发者高效理解和维护代...
-
玄机宝盒(C#百宝箱 ) v3.7 便携绿色免费版玄机宝盒是一个集成了多种功能的C#编程辅助工具,特别适用于C#开发者进行调试、处理正则表达式、网络请求以及系统交互等任,欢迎需要的朋友下载使用...
-
Java SE Development Kit 24(JDK24) v24.0.1 官方正式版 Win64JDK24是一款Java开发工具包,包含Java运行环境(java运行库),Java开发套件和Java基础类库源代码,JDK24是Java开发套件非LTS长期支持版本,引入了许多令人兴奋的新特性,不...
-
鲸鱼积木编程(无人机) V1.1.3 官方安装版鲸鱼积木编程是一款适用于无人机的编程软件,支持同步生成Python和C语言代码,提供图形化编程工具和趣味教学方式,适合编程启蒙,软件包含多种传感器、逻辑、数学和AI功能...
-
微软AI开发Microsoft .NET V10.0.100 P2 中文免费最新版 32/64位.NET 10 首个预览版推出,.NET 10 是 .NET 9 的后继版本,将作为长期支持维护 (LTS) 版本提供 3 年的支持,涵盖 .NET Runtime、SDK、libraries、C#、ASP.NET Core、Blazo...
-
CodeAsk(代码分析工具) v1.0.4 绿色免费版CodeAsk是一款基于大模型的代码分析工具,通过提示词可提供智能的代码梳理与分析、安全漏洞检测、代码质量评估等功能,还能生成有趣的prompt,助力开发者高效理解和维护代...
下载声明
☉ 解压密码:www.jb51.net 就是本站主域名,希望大家看清楚,[ 分享码的获取方法 ]可以参考这篇文章
☉ 推荐使用 [ 迅雷 ] 下载,使用 [ WinRAR v5 ] 以上版本解压本站软件。
☉ 如果这个软件总是不能下载的请在评论中留言,我们会尽快修复,谢谢!
☉ 下载本站资源,如果服务器暂不能下载请过一段时间重试!或者多试试几个下载地址
☉ 如果遇到什么问题,请评论留言,我们定会解决问题,谢谢大家支持!
☉ 本站提供的一些商业软件是供学习研究之用,如用于商业用途,请购买正版。
☉ 本站提供的Gecode开源约束编程软件 V4.4.0 免费安装版 32位资源来源互联网,版权归该下载资源的合法拥有者所有。
























