.NumberOfFails

Definition

The mathematical program suffix .NumberOfFails contains the number of leaf nodes searched by a CP solver for which it has been proved that no solution exists.

Datatype

The value of the .NumberOfFails suffix is an integer.

Note