Implemented a CSPOM Compiler for the SlidingSum constraint (with a MDD).
Added automatic generation of a variable domain for the sum constraint.
Added automatic generation of arbitrary large variable domains (watch
out for integer overflows).
Implemented a CSPOM Compiler for the SetIn constraint.