added support for gecode 3.7.2

This commit is contained in:
Denys Duchier
2012-03-22 15:10:19 +01:00
parent 7b84608e5e
commit 48cb3d6543
7 changed files with 8374 additions and 0 deletions

File diff suppressed because it is too large Load Diff