Chapter 6 The Symbolic Domain Library
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.