aboutsummaryrefslogtreecommitdiff
path: root/development/gecode/slack-desc
AgeCommit message (Expand)Author
2018-11-10development/gecode: Switch homepage to https.David Spencer
2016-11-14development/gecode: Fix slack-desc.B. Watson
2012-12-28development/gecode: Added (Generic Constraint Developm. Environm.).Thibaut Notteboom