| Name: | INTEGER_REFORMULATION_VAR_RANGE_LIMIT |
| Type: | integer |
| Default Value: | 5000 |
| Range: | [0−100000] |
This option sets the max integer variable range up to which which integers will be reformulated to binaries.
| Name: | INTEGER_REFORMULATION_VAR_RANGE_LIMIT |
| Type: | integer |
| Default Value: | 5000 |
| Range: | [0−100000] |
This option sets the max integer variable range up to which which integers will be reformulated to binaries.