非常棒的约束编程的开源软件，C++实现的。通过对gecode的学习，既可以解决自己的约束规划方面的问题，又可以学习到C++的精彩应用。gecode还提供了一个基于gecode的flatzinc语言（一个高级的约束编程的声明式语言）的解释器。试试吧！！！共有两个压缩文件，这是第2个。