Octeract Engine Options

  1. Home
  2. Docs
  3. Octeract Engine Options
  4. Options reference
  5. INTEGER REFORMULATION VAR RANGE LIMIT

INTEGER REFORMULATION VAR RANGE LIMIT

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 which integers will be reformulated to binaries.

Tags
Was this article helpful to you? Yes No

How can we help?