An open, free, efficient constraint solving toolkit
generic
development
environment
Gecode
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.
Gecode is:
open
Gecode is radically open for programming: it can be
easily interfaced to other
systems. It supports the programming of new constraints, branching strategies,
and search engines. New variable domains can be programmed at the same
level of effici...
Read more at gecode.org