I am trying to learn gecode and am trying to get the example found here to work.
gecode
// To use integer variab