optimize_min_equality_disjunction_chain_length
La longueur minimale de l’expressionexpr = x1 OR ... expr = xN pour l’optimisation
optimize_min_inequality_conjunction_chain_length
Longueur minimale de l’expressionexpr <> x1 AND ... expr <> xN pour l’optimisation