Age | Commit message (Expand) | Author |
---|---|---|
2018-11-10 | development/gecode: Switch homepage to https. | David Spencer |
2018-03-06 | development/gecode: Mirror download url. | Matteo Bernardini |
2017-11-04 | development/gecode: Update DOWNLOAD url. | Andrew Clemons |
2015-04-03 | development/gecode: Updated for version 4.4.0. | Thibaut Notteboom |
2012-12-28 | development/gecode: Added (Generic Constraint Developm. Environm.). | Thibaut Notteboom |