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.