実験的なソルバー連携

このページは,Hi-QUBO の実験的な外部ソルバー連携の概要を提供します.

外部ソルバーは用途に応じて以下のページに分類されています:

• QUBO/HUBO ソルバー — 二次目的関数を直接受け取る外部ソルバー（Gurobi Optimizer）.線形化を行わず,QUBO モデルをそのままバックエンドへ渡します.

• MILP ソルバー — 二次目的関数を線形化してから渡す MILP ソルバー（SCIP, HiGHS, GLPK, CBC）.

• CP ソルバー — 制約プログラミングエンジンの OR-Tools CP-SAT.

実験的機能. これらの統合は実験・ベンチマーク用途で提供されます.ラッパ API は 予告なく変更される可能性があり,各ソルバーは別途インストールが必要です.

このページは,PyQBPP の実験的な外部ソルバー連携の概要を提供します.

外部ソルバーは用途に応じて以下のページに分類されています:

• QUBO/HUBO ソルバー — 二次目的関数を直接受け取る外部ソルバー（Gurobi, IBM CPLEX, dimod, Qiskit, Fixstars Amplify, D-Wave, OpenJij, TYTAN-SDK, qubovert, Simulated Bifurcation）.

• MILP ソルバー — 二次目的関数を線形化してから渡す MILP ソルバー（SCIP, HiGHS, GLPK, CBC）.

• CP ソルバー — 制約プログラミングエンジンの OR-Tools CP-SAT.

実験的機能. これらの統合は実験・ベンチマーク用途で提供されます.ラッパ API は 予告なく変更される可能性があり,各バックエンドは Python パッケージとして別途 インストールが必要です.PyQBPP 自体はこれらに依存しません.