PyRank

Smt Solver Python Packages

Python packages with the GitHub topic smt-solver. Sorted by relevance, with stars and monthly downloads.
alcides
aeonlang

Programming Language designed for Program Synthesis with SMT-validation.

7K 38 5
dreal
dreal

Automated Reasoning in Nonlinear Theories of Reals

3K 187 37
QWED-AI
qwed

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

2K 58 10
SRI-CSL
yices

Python bindings for yices2

795 13 6
formalmethods
intrepyd

Intrepyd Model Checker

527 18 1
j4ngzzz
nightjar-verify

Math doesn't hallucinate. Formal verification for AI-generated Python code.

296 0 0
vishk23
arbiter-debate

Formally verified multi-agent debates

287 0 0
nicdard
ffg

A generator for Semantic Fusion

198 2 0
TendTo
pydlinear

Refactor of dLinear4 https://github.com/martinjos/dlinear4

197 3 0
j4ngzzz
nightjarzzz

Math doesn't hallucinate. Formal verification for AI-generated Python code.

189 0 0
testsmt
yinyang

A fuzzing framework for SMT solvers

174 197 25