Result of constraint propagation (see propagate).
This object contains the result of constraint propagation: variable domains, duration of the propagation, number of variables etc.
The propagation can also recognize that the model is infeasible. In this case
the property domains is set to
The propagation can also finish by a limit, in this case domains is
set to "limit".
|Variable domains after propagation (see ModelDomains). If the model is infeasible then this property is set to |
|Duration of the propagation in seconds.|
|The amount of memory used by solver for propagation. In bytes.|
|Number of constraints in the input model.|
|Number of interval variables in the input model.|