开源约束编程工具：Gecode
Gecode 是一款采用 C++ 实现的开源约束编程工具。它提供了一个灵活且功能强大的 API，可用于解决各种约束规划问题。Gecode 还附带了一个基于 Gecode 的 FlatZinc 语言解释器，FlatZinc 是一种用于约束编程的高级声明式语言。本压缩文件中包含 Gecode 的第 1 部分。
文件大小：16MB
评论区