The ic_symbolic library is a solver for constraints over ordered symbolic domains. It is implemented on top of library(ic) (see 3), by mapping symbolic domains to finite integer domains. There are also several mixed-domain constraints, which have both symbolic and integer arguments.