6.5 Extending and Interfacing this Library
Because of the mapping of symbols to integers, new constraints over
symbolic variables can be implemented simply by placing numeric (IC)
constraints on the corresponding integer variables.
Similarly, the facilities of the ic_search library can be exploited
when working with symbolic variables. Instead of labeling the
symbolic variables, one can use the various facilities of ic_search to
label the corresponding integer variables instead.