Hi-QUBO ドキュメント¶ スタートアップ Hi-QUBOとは Portalの利用規約 インストール ライセンス Trial ライセンスの取得 ライセンス管理 HUBO・QUBOとは QUBO 問題 HUBO と QUBO 表現 Hi-QUBO の表現力 チュートリアル 最大公約数 (GCD) 数独 巡回セールスマン問題 切出し問題 コードの書き方 基本的な文法 より高度 ソルバー Easy Solverの使い方 Exhaustive Solverの使い方 ABS3 Solverの使い方 実験的なソルバー連携 QUBO/HUBO ソルバー — OpenJij, dimod サンプラ, Qiskit, … 実験的 MILP ソルバー — SCIP, HiGHS, GLPK, CBC CP ソルバー — Google OR-Tools CP-SAT（PyQBPP のみ） ABS2 Solver (unofficial) 例題 現実問題系 数学系 グラフ問題系 パズル 画像処理 クイックリファレンス 整数変数と制約に関する演算と関数 式の演算子と関数 解について 変数と式 Cpp・Python Hi-QUBO（C++）と PyQBPP（Python）の違い