7.1
Introduction
In this section we shall briefly summarize the constraint solving libraries of ECL
i
PS
e
which will be discussed in the rest of this tutorial.