Gecode is an open source C++ toolkit for developing constraint-based systems
https://www.gecode.org/
#ycombinator #gecode #constraint_programming #constraint_solver #constraint_toolkit
GECODE - An open, free, efficient constraint solving toolkit

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.