MCP-Solver: Integrating Language Models with Constraint Programming Systems

Stefan Szeider

The MCP Solver bridges Large Language Models (LLMs) with symbolic solvers through the Model Context Protocol (MCP), an open-source standard for AI system integration. Providing LLM…