lib(fd_sets)

   Solver over sets of integers (cooperates with lib(fd))

