Previous Page | Next Page

The CLP Procedure

Overview: CLP Procedure

The CLP procedure is a finite-domain constraint programming solver for constraint satisfaction problems (CSPs) with linear, logical, global, and scheduling constraints. In addition to having an expressive syntax for representing CSPs, the solver features powerful built-in consistency routines and constraint propagation algorithms, a choice of nondeterministic search strategies, and controls for guiding the search mechanism that enable you to solve a diverse array of combinatorial problems.

For the most recent updates to the documentation for this experimental procedure, see the Statistics and Operations Research Documentation page at

Note: This procedure is experimental.

Previous Page | Next Page | Top of Page