The following examples illustrate the use of the CLP solver in formulating and solving two well-known logical puzzles in constraint programming.
