symbolics Archives - MINLP solvers | Neural solvers

STRENGTHEN LINEAR CONSTRAINTS

Name: STRENGTHEN_LINEAR_CONSTRAINTS Type: bool Default Value: false Available Options: true, false If enabled, for each linear constraint that contains binary

REDUCE LINEAR CONSTRAINTS

Name: REDUCE_LINEAR_CONSTRAINTS Type: bool Default Value: false Available Options: true, false If this option is enabled, the Engine will try

PRESOLVE

Name: PRESOLVE Type: bool Default Value: true Available Options: true, false Enables or disables the presolver.

USE STRUCTURE DETECTOR

Name: USE_STRUCTURE_DETECTOR Type: bool Default Value: true Available Options: true, false If enabled, problems with a linear objective of the

USE SIMPLIFICATION

Name: USE_SIMPLIFICATION Type: bool Default Value: true Available Options: true, false Enables or disables standard reformulation rules for nonlinear and discontinuous functions.

USE AUTOMATIC EXPANSION

Name: USE_AUTOMATIC_EXPANSION Type: bool Default Value: true Available Options: true, false I told you we had the best gear. Preprocessing

REFORMULATE INTEGER IN MIQCQP

Name: REFORMULATE_INTEGERS_IN_MIQCQP Type: bool Default Value: true Available Options: false Enables or disables the reformulation of integer variables as binary

REFORMULATE INTEGERS

Name: REFORMULATE_INTEGERS Type: bool Default Value: false Available Options: true, false Enables or disables the reformulation of integer variables as

REFORMULATE BINARIES

Name: REFORMULATE_BINARIES Type: bool Default Value: false Available Options: true, false Enables or disables the reformulation of binary variables into

FORCE EXPANSION

Name: FORCE_EXPANSION Type: bool Default Value: false Available Options: true, false Requires: USE_AUTOMATIC_EXPANSION = false If USE_AUTOMATIC_EXPANSION is disabled, this