gecode: gecode
gecode:
gecode: Gecode is a toolkit for developing constraint-based systems and
gecode: applications. Gecode provides a constraint solver with
gecode: state-of-the-art performance while being modular and extensible.
gecode:
gecode: homepage: http://www.gecode.org/
gecode:
gecode:
gecode:
gecode: