The Constraint Programming Solver (Experimental)
Subsections:
The SOLVE WITH CLP statement invokes the CLP solver. You can specify the following options to define various processing and diagnostic controls and to tune the algorithm to run.