lib(sd)

   Simple solver for constraints over unordered symbolic domains

