summaryrefslogtreecommitdiff
path: root/development/gecode
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: Fix slack-desc.B. Watson2016-11-14
* development/gecode: Updated for version 4.4.0.Thibaut Notteboom2015-04-03
* various: Update find command to match template.dsomero2013-11-22
* development/gecode: Added (Generic Constraint Developm. Environm.).Thibaut Notteboom2012-12-28