Name: REFORMULATE_INTEGERS_IN_MIQCQP Type: bool Default Value: true Available Options: false Enables or disables the reformulation of integer variables as binary
Name: REFORMULATE_INTEGERS Type: bool Default Value: false Available Options: true, false Enables or disables the reformulation of integer variables as
Name: REFORMULATE_BINARIES Type: bool Default Value: false Available Options: true, false Enables or disables the reformulation of binary variables into
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
Name: BQP_SPARSITY_TOLERANCE Type: double Default Value: 0.8 Range: [0−1] The maximal sparsity for a BQP to be reformulated as a linear problem.
Name: BQP_REFORMULATION_METHOD Type: string Default Value: AUTOMATIC Available Options: AUTOMATIC, LINEAR, QUADRATIC, SSLINEAR This option forces the reformulation method applied
Name: BQCQP_REFORMULATION_METHOD Type: string Default Value: SSLINEARBQCQP Available Options: SSLINEARBQCQP, CONVEXIFY Type of reformulation used for BQCQPs. The default option
Name: BINARY_REFORMULATION_PROCEDURE Type: string Default Value: Quadratic_Concave_Constraint Available Options: Quadratic_Concave_Constraint, Quadratic_Equality_Constraint, Exponential_Reformulation, Continuous_Relaxation. If REFORMULATE_BINARIES is enabled, this option determines