summaryrefslogtreecommitdiffstats
path: root/development/gecode/gecode.info
AgeCommit message (Expand)Author
2018-11-10development/gecode: Switch homepage to https. David Spencer
2018-03-05development/gecode: Mirror download url. Matteo Bernardini
2017-11-04development/gecode: Update DOWNLOAD url. Andrew Clemons
2015-04-03development/gecode: Updated for version 4.4.0. Thibaut Notteboom
2012-12-28development/gecode: Added (Generic Constraint Developm. Environm.). Thibaut Notteboom