Gecode constraint programming solver (release versions)