Constraint Solving

MCPソルバー MCPサーバー

MCPソルバーは、AIアシスタントやLLM向けに高度なSAT、SMT、制約最適化機能を提供するModel Context Protocol (MCP)サーバーです。複雑な数理モデルの対話的な作成・編集・解決を可能にし、研究・エンジニアリング・意思決定のワークフローを効率化します。...