Crate cobre_solver 

cobre-solver

LP/MIP solver abstraction for the Cobre power systems ecosystem.

This crate defines a backend-agnostic interface for mathematical programming solvers, with a default HiGHS backend:

• Solver trait: unified API for LP and MIP problem construction, solving, and dual/basis extraction.
• HiGHS backend: production-grade open-source solver, well-suited for iterative LP solving in power system optimization.
• Basis management: warm-starting support for iterative algorithms that solve sequences of related LPs.

Additional solver backends (e.g., Clp, CPLEX, Gurobi) can be added behind feature flags.

Status

This crate is in early development. The API will change.

See the repository for the full roadmap.

Re-exports

pub use trait_def::SolverInterface;

pub use types::Basis;

pub use types::LpSolution;

pub use types::RowBatch;

pub use types::SolutionView;

pub use types::SolverError;

pub use types::SolverStatistics;

pub use types::StageTemplate;

pub use highs::HighsSolver;

Modules

highs

HiGHS LP solver backend implementing SolverInterface.

trait_def

The SolverInterface trait definition.

types

Core types for the solver abstraction layer.