| Name: | CP_NUMBER_COMPARISON_TOLERANCE |
| Type: | double |
| Default Value: | 1.e−6 |
| Range: | [0−1] |
This is the tolerance for comparison of two values within the Constraint Propagation (CP) algorithm. CP is numerically unsafe by nature, so we have a metric ton of fail-safes and tolerances built into the implementation to make sure it doesn’t eliminate the global solution.
This tolerance specifies when CP can safely consider whether a number is definitely larger/smaller/equal than another very similar one. Decreasing this can improve the stability of the algorithm, and increasing it can improve the quality of domain reduction by allowing more numerically unsafe operations.