Module options

Source
Expand description

§Options

This module contains all configuration options or the $P$-minimal solver.

Structs§

CoreBoostingOptions
HeurImprOptions
Options regarding heuristic solution improvement
KernelOptions
Solver-wide configuration options
Limits
Limits for a call to crate::Solve::solve

Enums§

AfterCbOptions
BuildEncodings
Possible options for building objective encodings in divide and conquer
DivConAnchor
Possible recursion anchors for the divide and conquer algorithm
EnumOptions
Enumeration options for the $P$-minimal solver
HeurImprWhen
Options for when solution improvement can be performed
SubProblemSize
Specifying the size of a subproblem

Type Aliases§

KernelWithCbOptions