Reformulate Binaries
| Name: | |
| Type: | bool |
| Default Value: | false |
| Available Options: | true, false |
This enables or disables the reformulation of binary variables. In particular, it replaces the binary requirement for a variable by adding a set of equivalent constraints according to the option BINARY_REFORMULATION_PROCEDURE .
