otspot — 数理最適化ソルバー

線形計画法（LP）・二次計画法（QP）と混合整数問題（MILP / MIQP）を解く Rust ソルバークレート。 LP は改訂単体法（Revised Simplex）、QP は内点法（IPM / IP-PMM）を核とし、 実行不可能・非有界の判定と完全な主双対情報の出力に対応する。

主要モジュール

使用例

MPS ファイルから LP 問題を読み込んで解く (via the otspot facade):

use std::path::Path;
use otspot::io::mps;

let prob = mps::parse_mps_file(Path::new("problem.mps")).expect("MPS読み込み失敗");
let result = otspot_core::solve(&prob);
println!("最適値: {:?}", result);