Python を使用して正確な算術演算で解決したい整数制約を持つ LP があります。実際には、実行可能な点だけが必要です。
編集：ここでの「正確な算術」は、無制限の列挙子と分母の有理数を意味します。
以前の試み:
- Linear Programの言及 qsoptex の正確な解を見つけますが、それをインポートしようとすると が得られ
ImportError: libqsopt_ex.so.2: cannot open shared object file: No such file or directoryます。 - SoPlex はコンソールで動作しますが、Python インターフェイスが見つかりませんでした。
- PySCIPOpt ( https://github.com/SCIP-Interfaces/PySCIPOpt ) は、SoPlex を含む SCIP の Python インターフェイスですが、特定のソルバーを (特定のオプションで) 呼び出す方法がわかりません。
- cdd ( https://pycddlib.readthedocs.io/en/latest/linprog.html ) は何かを行い、それを LP と呼んでいますが、実際にどの問題を解決するのかわかりません。
速度は中程度の問題です。私のより大きなインスタンスには、ボックス制約と 40 の等号を持つ約 500 の変数がありますが、含まれる数は多い可能性があります。