Gecode (64-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.
What's new in version 4.1
Version 4.1 fixed binpacking crash when the b and s arrays are empty and added if-then-else constraint (called ite) for integer variables, and branchers now support a print() member function.
ReleaseJuly 3, 2013
Date AddedJuly 3, 2013
Operating SystemsWindows 2003, Windows Vista, Windows, Windows 7, Windows XP