lib(ic_symbolic)

   Solver for constraints over ordered symbolic domains

