Gecode is an open source C++ toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
You can find lots of information on Gecode's webpages, including how to download, compile, install, and use it.
In particular, Gecode comes with extensive tutorial and reference documentation.
We happily accept smaller contributions and fixes, please provide them as pull requests against the develop branch. For larger contributions, please get in touch.
Gecode is licensed under the MIT license.