gecode: gecode (constraint solver toolkit)
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: https://www.gecode.org/
gecode:
gecode:
gecode:
gecode: