FBBT MAX ITERATIONS

Name: FBBT_MAX_ITERATIONS Type: integer Default Value: 5 Range: [0−2,147,483,647] This option sets the maximum number of variable bisections when performing

Read More

CP SCALING

Name: CP_SCALING Type: bool Default Value: false Available Options: true, false Enabling this option may help avoid numerical issues for

Read More

CP MAX ITERATIONS

Name: CP_MAX_ITERATIONS Type: integer Default Value: 5 Range: [0–2,147,483,647] This option sets the limit for the number of passes performed

Read More

APPLY CB

Name: APPLY_CB Type: bool Default Value: false Available Options: true, false This enables or disables constraint probing for domain reduction.

Read More