Trait Solver

Source

pub trait Solver {
    type Options;

    // Required methods
    fn name(&self) -> &str;
    fn supports(&self, kind: ModelKind) -> bool;
    fn solve(
        &mut self,
        model: &Model,
        opts: &Self::Options,
    ) -> Result<SolverResult, SolverError>;

    // Provided methods
    fn supports_sos(&self, _sos_type: SosType) -> bool { ... }
    fn supports_indicators(&self) -> bool { ... }
    fn supports_model(&self, model: &Model) -> bool { ... }
}

Expand description

Concrete solver backend.

Backends live in their own crates and the umbrella oximo crate gates them behind cargo features. Implementors translate the Model into their internal representation, solve, and return a populated SolverResult.

Each backend defines its own Options type so users get LSP autocomplete and compile-time validation on the options that actually apply. The oximo_solver crate ships shared building blocks (UniversalOptions, UniversalOptionsExt) for backends to compose into their own structs.