v0.2.0

破壊的変更

• Optimal は KKT 全条件を検証した証明を伴う場合のみ確定。証明できない解は SuboptimalSolution 等に降格
• 内部実装を otspot-core / otspot-io / otspot-model に分割（公開 API は維持）

追加

• 非凸 QP の大域求解 (solve_qp_global) — branch-and-bound + α-BB / McCormick 緩和
• 証明付き最適性検証 (OptimalCertificate / BoundGapCertificate) — LP / QP / MIP 共通
• 二次目的の Expression DSL — x * x / x * y で二次項を記述可能
• Model::try_add_var / try_value — panic しない fallible 版
• MPS / QPS ストリーミングパーサ（大規模インスタンスのメモリ削減）

修正

• 全変数が presolve で消去される QP が NumericalError を返していた問題を修正
• 非凸 QP の branch-and-bound で KKT 残差が許容を超えるケースを修正

削除

• Python バインディングを削除. 別リポジトリに移管予定.

Full Changelog: v0.1.1...v0.2.0