Develop constraint-based systems and applications.
Gecode Linux(32-bit) provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is radically open for programming, comes with both complete tutorial (more than 500 pages) and complete reference documentation that allows users to focus on different modeling and programming tasks with Gecode.