MCP-Solver connects LLMs to MiniZinc, PySAT, and Z3 via the Model Context Protocol, with item-based editing and iterated validation for consistent model refinement.
Position: Llms can’t plan, but can help planning in llm-modulo frameworks
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
MCP-Solver: Integrating Language Models with Constraint Programming Systems
MCP-Solver connects LLMs to MiniZinc, PySAT, and Z3 via the Model Context Protocol, with item-based editing and iterated validation for consistent model refinement.