ECLiPSe offers constraint solving over the domain of finite sets of
integers. The ic_sets library works together with the ic library
to reason about sets and set cardinality [10]3.
There is also an older implementation, the conjunto library, which
is generally less efficient, but implements sets of symbolic elements as
well as integer sets
