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.