Expand description
Core solver functionality shared between different algorithms
Modules§
- bioptsat
- BiOptSat Algorithm for Bi-Objective Optimization
- lowerbounding
- Multi-Objective Lower-Bounding Search
- pminimal
- $P$-Minimal Model Enumeration for Multi-Objective Optimization
Structs§
Traits§
- Core
Boost - Core boosting interface
- Init
- Trait for initializing algorithms
- Init
Cert - Trait for initializing algorithms
- Init
Cert Default Block - Init
Default Block - Kernel
Functions - Shared functionality provided by the [
Kernel] - Solve
- Solving interface for each algorithm
Functions§
- default_
blocking_ clause - The default blocking clause generator