A Generic Global Constraint based on MDDs

Open in new window