The Integer Sets Library

# Chapter 5 The Integer Sets Library

The fd_sets library is a solver for constraints over the domain of finite sets of integers. Unlike conjunto, it cannot deal with sets elements that are not integers. On the other hand, fd_sets is usually faster for integer sets than conjunto.

- Ground Integer Sets
- Set Variables
  - Declaring
  - Printing
  - Domain Access
- Constraints
  - Membership
  - Cardinality
  - Set Relations
  - N-ary Set Relations
  - Set Weights
- Set Expressions
- Search Support
- Example