Skip to main content
Glama
79,479 servers. Updated

"author:swesmith-repos" matching MCP servers:

  • MCP Solver

    swesmith-repos
    A
    license
    Not graded
    quality
    Not graded
    maintenance
    An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.