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