The Symbolic Domain Library

# 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.

- Domains and Domain Variables
- Basic Constraints
- Global Constraints
- Internals
- Extending and Interfacing this Library