| Name: | STRENGTHEN_LINEAR_CONSTRAINTS |
| Type: | bool |
| Default Value: | false |
| Available Options: | true, false |
If enabled, for each linear constraint that contains binary or integer variables, the engine will try to find a tighter constraint by changing the coefficients of said variables.