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