clarabel とは Apache License 2.0 のもと公開されている, Rust 🦀 で書かれた最適化ソルバー. 次の形の最適化問題を扱える: \begin{align*} \min \quad & \frac{1}{2} \boldsymbol{x}^{\top} Q \boldsymbol{x} + \boldsymbol{q}^{\top} \boldsymbol{x} \\ \text{s.t.} \quad & A \boldsymbol{x} + \boldsymbol{s} = \boldsymbol{b} \\ & \boldsymbol{s} \in \mathcal{K} \end{align*} ただし,Q \in \mathbb{R}^{n \times n} は半正定値対称行列,\boldsymbol{q} \in \mathbb{R}^{n},A
