Previous Up Next

1.3  Sets

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.


Previous Up Next