1. Home
2. Docs
3. Octeract Engine Options
4. Options reference
5. USE REFORMULATION LINEARIZATION

# USE REFORMULATION LINEARIZATION

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.