r - 二項二次最適化を解くのに最適なパッケージは何ですか?

Question

バイナリ二次最適化問題を解決する必要があります。つまり、目的関数は二次であり、制約は線形で、変数はバイナリです。「quadprog」パッケージを確認しましたが、この問題に対する適切な選択ではないようです。

Binary Quadratic オプションを解決するのに最適なパッケージを提案できる人はいますか?

Answer 1

Microsoft Z3を試すことができます(スタック オーバーフローの質問 8506142 を参照)。