1. 首页
  2. 编程语言
  3. C++ 
  4. 开源约束编程软件:Gecode