Cardinality propagation for subset operator.
Cardinality propagation for intersection operator.
Cardinality propagation for difference operator.
Always use interpreted Javascript. Otherwise large scripts can too large in bytecode and throw Rhino throws an error. Too many scripts and it will pollute the memory space.
Updated documentation for all the custom constraints.
Merge branch 'master' of https://github.com/gsdlab/chocosolver