aboutsummaryrefslogtreecommitdiff
path: root/development/gecode
AgeCommit message (Expand)Author
2018-11-10development/gecode: Switch homepage to https.David Spencer
2018-03-06development/gecode: Mirror download url.Matteo Bernardini
2017-11-04development/gecode: Update DOWNLOAD url.Andrew Clemons
2016-11-14development/gecode: Fix slack-desc.B. Watson
2015-04-03development/gecode: Updated for version 4.4.0.Thibaut Notteboom
2013-11-22various: Update find command to match template.dsomero
2012-12-28development/gecode: Added (Generic Constraint Developm. Environm.).Thibaut Notteboom