摘要： Gecode是一个开源的C++工具包，用于开发基于约束的系统和应用。它提供了一流的性能，同时具有模块化和可扩展性。Gecode具有以下特点：开放性，支持与其他系统接口；综合性，包括多种约束类型、C++建模层、高级分支启发式算法、多个搜索引擎等；高效性，在MiniZinc挑战赛中连续多年获得金牌；文档化，提供了完整的教程和参考文档；免费性，遵循MIT许可协议；可移植性，遵循C++标准，可在多种机器上编译运行；并行性，利用多核硬件进行并行搜索；经过测试，拥有超过50000个测试用例的测试套件。
讨论： 这段内容主要讨论了Gecode和or-tools在约束求解领域的竞争。Gecode曾在2008年至2012年间在minizinc挑战中获胜，而自2013年起，or-tools每年都获得金牌，并在2024年赢得了所有类别的大奖。文章中还讨论了为什么Gecode有趣，以及为什么有人会选择使用它而不是or-tools。同时，有人提出对Gecode的维护情况表示担忧，指出自主要贡献者去世后，论坛上几乎没有进行维护工作。还提到了其他可能已经取代Gecode的约束求解器。此外，有人建议在Gecode的主页上提供一个简短的C++示例。
原文标题：Gecode is an open source C++ toolkit for developing constraint-based systems (2019)
原文链接：https://www.gecode.org/
讨论链接：https://news.ycombinator.com/item?id=44471150