lib(fd_mdd)

   Extensional constraints over FD variables

