Name: REFORMULATE_BINARIES Type: bool Default Value: false Available Options: true, false Enables or disables the reformulation of binary variables into
Name: INTEGRALITY_VIOLATION_TOLERANCE Type: double Default Value: 1.e-3 Range: [0–1] Integrality violation tolerance is the acceptable violation before the solver determines