Gecode
Gecode is a software library for solving Constraint satisfaction problems. It is programmed in C++ and distributed as free software under the permissive MIT license. Gecode has bindings for several programming languages such as Prolog, Python and Ruby, and an interface to the AMPL modeling language.
Source: Wikipedia
Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.