Detail

Cardinal

Cardinal is a sets constraints library with especial inferences on sets cardinality and other optional set functions (minimum and maximum for sets of integers, and union for sets of sets.)
It is available as an ECLiPSe Constraint System third-party library.