Skip to main content
These settings are available in system.settings and are autogenerated from source.

​
optimize_min_equality_disjunction_chain_length

The minimum length of the expression expr = x1 OR ... expr = xN for optimizatio

​
optimize_min_inequality_conjunction_chain_length

The minimum length of the expression expr <> x1 AND ... expr <> xN for optimizatio
Last modified on July 23, 2026