summaryrefslogtreecommitdiffstats
path: root/development/gecode
Commit message (Expand)AuthorAgeFilesLines
* development/gecode: Switch homepage to https. David Spencer2018-11-102-2/+2
* development/gecode: Mirror download url. Matteo Bernardini2018-03-061-1/+1
* development/gecode: Update DOWNLOAD url. Andrew Clemons2017-11-041-1/+1
* development/gecode: Fix slack-desc. B. Watson2016-11-141-1/+1
* development/gecode: Updated for version 4.4.0. Thibaut Notteboom2015-04-032-10/+10
* various: Update find command to match template. dsomero2013-11-221-2/+2
* development/gecode: Added (Generic Constraint Developm. Environm.). Thibaut Notteboom2012-12-284-0/+156