Lines Matching full:constraint
6876 The maximum number of variables in an Omega constraint system.6880 The maximum number of inequalities in an Omega constraint system.6884 The maximum number of equalities in an Omega constraint system.
