Decomposition of the NVALUE constraint

Open in new window