GECODE：GEneral COnstraint Development Environment 通用约束开发环境

      Gecode是开源的、免费的、容易得到的和高效的约束系统和应用的开发环境。看兴趣的朋友可以到这里http://www.gecode.org/看看咯。