Next: Intervals
Up: Introduction
Previous: Finite Domains: ic
Index
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]1.3.
Warwick Harvey
2004-08-07