Octeract Engine Options

⌘K
  2. Home
  4. Docs
  6. Octeract Engine Options
  8. Options reference
  10. USE REFORMULATION LINEARIZATION

USE REFORMULATION LINEARIZATION

Name:USE_REFORMULATION_LINEARIZATION
Type:bool
Default Value:true
Available Options:true, false

Enables or disables the use of RLT to create redundant constraints in order to tighten the formulation.

You can see the time taken in the solver output, which should normally look like this:

[ 0.0s ] FBBT was used to tighten variable bounds.
[ 0.0s ] Generating RLT cuts.
[ 0.0s ] 15 RLT cuts were added.
[ 0.0s ] Domains were ensured to be valid (e.g., log(), sqrt()).
[ 0.0s ] Generating relaxation.

If your problem has a gazillion variables/linear constraints, and you see the solver taking a long time to generate these, try turning this option off. Your formulation will be weaker as a result though, so waiting for the the cuts to be created might be worth it.

Tags , ,