MCP Solver

https://github.com/szeider/mcp-solver

MCP Solver is a server that integrates SAT, SMT, and constraint solving with LLMs via the Model...

Tokens:49,650
Snippets:175
Trust Score:7.8
License:MIT
Update:1 year ago
Tokens:
Raw