summaryrefslogtreecommitdiff
path: root/development/gecode
Commit message (Expand)AuthorAge
* development/gecode: Added (Generic Constraint Developm. Environm.).Thibaut Notteboom2012-12-28