This documentation is for a version of the software that is not covered by Standard Support. Select a different version from the version selector in the banner, or access the latest documentation.
The following examples illustrate the use of the CLP procedure in the formulation and solution of two well-known logical puzzles in the constraint programming community.