MCP servers tagged minizinc

2 live MCP servers tagged "minizinc", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with minizinc.

live servers

avg trust

most stars

Minizinc MCP

MCP server that exposes MiniZinc constraint solving and optimization to LLM clients like opencode, Claude Desktop, and Cursor

★ 5

Multiple Couriers Planning Problem

This project, also known as the Vehicle Routing Problem (VRP), addresses the Multiple Couriers Planning (MCP) problem using Constraint Programming (CP), Satisfiability Modulo Theo…