Crate otspot_core 

otspot — LP / QP / MILP / MIQP ソルバー。

LP は改訂単体法、QP は内点法 (IPM / IP-PMM) を核とし、実行不可能・非有界判定と 完全な主双対情報出力に対応する。

Re-exports

pub use error::MpsError;

pub use error::SolverError;

pub use options::BranchingStrategy;

pub use options::DualPricing;

pub use options::GlobalOptimizationConfig;

pub use options::LpWarmStart;

pub use options::MipBranching;

pub use options::MipConfig;

pub use options::SolverOptions;

pub use options::Tolerance;

pub use options::WarmStartBasis;

pub use lp::solve_lp_with;

pub use mip::solve_milp;

pub use mip::solve_milp_with_stats;

pub use mip::solve_miqp;

pub use mip::solve_miqp_with_stats;

pub use mip::MilpProblem;

pub use mip::MipProblemError;

pub use mip::MipStats;

pub use mip::MiqpProblem;

pub use problem::certificate::BoundGapCertificate;

pub use problem::certificate::NotProven;

pub use problem::certificate::OptimalCertificate;

pub use problem::SolveRoute;

pub use problem::SolveStats;

pub use problem::SolveStatus;

pub use problem::SolverResult;

pub use qp::certificate::prove_optimal;

pub use qp::solve_qp;

pub use qp::solve_qp_global;

pub use qp::solve_qp_with;

pub use qp::QpProblem;

pub use qp::QpWarmStart;

pub use sparse::CscMatrix;

pub use lp::solve_lp_with as solve_with;

Modules

error

lp

LP-specific entry point.

mip

Mixed-integer programming (MILP / MIQP) via branch-and-bound.

options

Solver configuration parameters.

problem

LP問題定義モジュール

qp

QP ソルバー: min 1/2 x’Qx + c’x s.t. Ax (≤|=|≥) b, lb ≤ x ≤ ub (OSQP/qpOASES 標準の「1/2 あり」規約)

sparse

疎行列・疎ベクトル演算モジュール

tolerances

数値許容値の一元管理モジュール

Functions

solve

Solve an LP with default options. Includes problem.obj_offset in the returned objective.