Generic Global Constraints based on MDDs

Open in new window