A Model Context Protocol (MCP) server that exposes MiniZinc constraint solving capabilities to Large Language Models.
44 stars1 watching4 forks
Features
MiniZinc
Async
Validation
StateManagement
Libraries
Monitoring
Timeout
TypeChecking
Category
Development Tools