lib(cardinal)

   Finite Set Constraints Library

