general MCP Server
Model Context Protocol (MCP) server for constraint optimization and solving"
Discovered via unknown and last synced 3mo ago.
Install instructions not detected yet
Check the source repository for the latest setup steps.
to some part of the (MiniZinc/PySAT/Z3/ASP) code, and *model* to the encoding.