1.3
Sets
ECL
i
PS
e
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
.