Z3

MCP Solver

by szeider

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

Z3 Theorem Prover with Functio...

by javergar

A Python implementation of abstractions over the Z3 Theorem Prover capabilities using functional pro...