Gecode for Linux 4.4.0 screenshot A toolkit for developing constraint-based systems and applications Download Gecode for Linux 4.4.0