The Constraint Programming Solver

Table 11.1 summarizes the options available in the SOLVE WITH CLP statement.

Table 11.1: Functional Summary of SOLVE WITH CLP Options

Description		Option
General Options
Finds all possible solutions		FINDALLSOLNS
Specifies the number of solution attempts		MAXSOLNS=
Specifies the maximum time to spend calculating results		MAXTIME=
Suppresses preprocessing		NOPREPROCESS
Specifies the tolerance of the objective value		OBJTOL=
Permits preprocessing		PREPROCESS
Indicates progress in the log		SHOWPROGRESS
Specifies whether time units are CPU time or real time		TIMETYPE=
Specifies the variable assignment strategy		VARASSIGN=
Specifies the variable selection strategy		VARSELECT=

Last updated: June 14, 2018