algorist/dep_selector — pull request #5 by boutil (2013-11-26 21:22:45+00:00)
Title: port to gecode >=4.0

gecode >=4.0 introduced major changes in the API.
- Restart class has been renamed to RBS which needs an Engine (chose DFS)
- instances of RBS need a Search::Cutoff (arbitraly chose Geometric)
- variable selection are now functions and need brackets
- statistics about memory are not available in gecode (by default)