Armory
Source
Browse
MCPs

szeider-minizinc-solver

Solve complex logic/optimization problems using MiniZinc syntax.

Score
93.4812 signals
Evidence
181 stars · 23 forks
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. arben-adm-sequential-thinking947 stars · 118 forks97.652
  2. mcp-gemini-assistant105 stars · 17 forks91.199
  3. think-tank61 stars · 13 forks87.991

What it is

MCP server MiniZinc Complex Logic Solver, catalogued on PulseMCP. Solve complex logic/optimization problems using MiniZinc syntax.

When to use it

Solve complex logic/optimization problems using MiniZinc syntax.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.