In this section we shall briefly summarize the constraint solving libraries of ECLiPSewhich will be discussed in the rest of this tutorial.