Search
- Branch limit
- Choice point limit
- Dynamic probing
- Dynamic probing strength
- Failure directed search
- Failure directed search emphasis
- Failure directed search memory limit
- Failure limit
- Number of search points
- Random seed
- Restart failure limit
- Restart growth factor
- Search type
- Value selection
- Variable selection