Gecode For Mac是适合Mac电脑中的编程人员使用的编程开发工具。Gecode For Mac正式版是一款发展的约束访问，便携，高效的环境为基础的系统和应用程序。并且Gecode For Mac还提供了一种先进的性能 Gecode约束求解器，模块化和可扩展性，从根本上进行编程开放，这意味着它可以很容易地与其他系统的接口。

{mac3}

软件简介

      Gecode For Mac是一款发展的约束访问，便携，高效的环境为基础的系统和应用程序，提供了一种先进的性能 Gecode约束求解器，模块化和可扩展性，从根本上进行编程开放，这意味着它可以很容易地与其他系统的接口。它支持新的传播者(如约束的执行情况)，分支策略，和搜索引擎编程。

软件功能

      开放

      Gecode彻底开放编程：它可以很容易地连接到其他 系统 。它支持新的限制，程序分支策略， 和搜索。新的可变域可以被编程在效率相同的 水平作为变量，来 Gecode预定义。

      综合

      Gecode具有全面的功能集：约束整型，布尔型，集，浮(它实现了超过70的限制，从

      全局约束目录

      和许多更多的顶部);C++建模层;先进的分支启发式(累计失效数，活动);许多搜索引擎(平行，交互式图形，重新启动);自动对称破缺(ldsb);没有货物从重启;MiniZinc支持;多。

      高效

      Gecode提供相对于运行时间和内存使用性能优良 。它赢得了全部金牌全部在MiniZinc挑战类从2008到2012：2012，2011，2010，2009，和2008。

      记录

      Gecode配备完整的教程(500多页)和完整的参考文档 ，让用户专注于不同的建模和编程 任务Gecode。

      许可证

      和是上市的自由软件。它的所有组成部分 包括参考文档，实现全局约束， 和实例可作为 源代码下载。

      便携式

      Gecode的C + +，认真遵循C++的标准实施。 可以编译与现代的C++编译器和运行在 广泛被机器(包括64位机。

      并行

      Gecode符合现实，它利用并行搜索今天的商品硬件的多核 ，给一个已经 高效的基础系统的一个额外的边缘。

      测试

      Gecode使用一个测试套件的近50000种不同的测试用例达到接近100%的测试覆盖率。

使用说明

      C++实现的。通过对gecode的学习，既可以解决自己的约束规划方面的问题，又可以学习到C++的精彩应用。gecode还提供了一个基于gecode的flatzinc语言(一个高级的约束编程的声明式语言)的解释器。