Gecode for Mac OS X 4.4.0 screenshot Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Download Gecode for Mac OS X 4.4.0