dsouflis

z3-solver-mcp-server

3.2

by dsouflis

The Z3 SMT Solver MCP Server is a Model Context Protocol server that leverages the Z3 theorem prover to solve complex mathematical and logical problems.