summaryrefslogtreecommitdiff
path: root/development/gecode/gecode.info
Commit message (Expand)AuthorAge
* development/gecode: Switch homepage to https.David Spencer2018-11-10
* development/gecode: Mirror download url.Matteo Bernardini2018-03-06
* development/gecode: Update DOWNLOAD url.Andrew Clemons2017-11-04
* development/gecode: Updated for version 4.4.0.Thibaut Notteboom2015-04-03
* development/gecode: Added (Generic Constraint Developm. Environm.).Thibaut Notteboom2012-12-28