# V-Sekai-fire's Minizinc

Solve constraint programming problems with MiniZinc.

## Quick Start

```bash
# Connect this server (installs CLI if needed)
npx -y smithery mcp add V-Sekai-fire/minizinc-mcp

# Browse available tools
npx -y smithery tool list V-Sekai-fire/minizinc-mcp
```