Argument array for non-primitive types.
Traits of arrays in Gecode.
Passing Boolean variables.
Boolean integer variables.
Passing integer arguments.
Passing integer variables.
Argument array for variables.
Gecode toplevel namespace
ArgArray< IntSet > IntSetArgs
Passing set arguments.