Octeract Engine Options

⌘K
  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