PySAT

MCP Solver

by szeider

The MCP Solver integrates SAT, SMT and Constraint Solving with LLMs through the Model Context Protoc...