Google OR-Tools server

MCP-ORツール

制約解決にGoogle OR-Toolsを用いたモデルコンテキストプロトコル（MCP）サーバー実装。標準化された制約モデル仕様を通じて大規模言語モデルで使用できるように設計されています。

概要

MCP-ORTools は、モデル コンテキスト プロトコルを介して Google の OR-Tools 制約プログラミング ソルバーを大規模言語モデルと統合し、AI モデルで次のことが可能になります。

• 制約モデルの送信と検証
• モデルパラメータを設定する
• 制約充足問題と最適化問題を解く
• ソリューションを取得して分析する

インストール

1. パッケージをインストールします。

2. Claude Desktop を構成する%APPDATA%\Claude\claude_desktop_config.json (Windows) または~/Library/Application Support/Claude/claude_desktop_config.json (macOS) に構成ファイルを作成します。

モデル仕様

モデルは、次の 3 つの主要なセクションを持つ JSON 形式で指定されます。

• variables : 変数とそのドメインを定義する
• constraints : OR-Toolsメソッドを使用した制約のリスト
• objective : オプションの最適化目的

制約構文

制約には OR-Tools メソッド構文を使用する必要があります。

• .__le__() 、以下 (<=) を表します。
• .__ge__()より大きいか等しい (>=) を表します。
• 等価性 (==) を表す.__eq__()
• 等しくない (!=) の場合は.__ne__()

使用例

シンプルな最適化モデル

ナップサック問題

例: 値が [3,1,2,1]、重量が [2,2,1,1] で、合計重量制限が 2 であるアイテムを選択します。

追加の制約の例:

特徴

• OR-Tools CP-SATソルバーの完全サポート
• JSONベースのモデル仕様
• サポート対象:
  • 整数変数とブール変数（ドメイン: [最小値、最大値]）
  • OR-Toolsメソッド構文を使用した線形制約
  • 線形最適化目標
  • タイムアウトとソルバーパラメータ
  • バイナリ制約と関係
  • ポートフォリオ選択の問題
  • ナップザックの問題

制約内でサポートされている操作

• 基本的な算術: +、-、*
• 比較: 。ル（）、。げ（）、。 eq (), .ね（）
• 変数の線形結合
• 制約の組み合わせによるバイナリロジック

発達

開発用に設定するには:

モデル応答形式

ソルバーは JSON 形式でソリューションを返します。

ステータス値:

• 最適: 最適な解決策が見つかりました
• 実現可能: 実現可能な解決策が見つかった
• 実行不可能: 解決策は存在しない
• 不明: 解決策を決定できませんでした

ライセンス

MITライセンス - 詳細はLICENSEファイルを参照