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