REFORMULATE INTEGERS

Name:	`REFORMULATE_INTEGERS`
Type:	bool
Default Value:	false
Available Options:	true, false

Enables or disables the reformulation of integer variables as binary.

integers, reformulation, symbolics