PyRank

Smt Solver Python Packages

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

Automated Reasoning in Nonlinear Theories of Reals

2K 182 37
nicdard
ffg

A generator for Semantic Fusion

2K 2 0
alcides
aeonlang

Programming Language designed for Program Synthesis with SMT-validation.

1K 32 5
QWED-AI
qwed

The Deterministic Verification Protocol for AI - 11 verification engines for math, logic, code, SQL, facts, images, and more. Now with Agentic Security Guards.

831 55 8
SRI-CSL
yices

Python bindings for yices2

736 12 5
testsmt
yinyang

A fuzzing framework for SMT solvers

713 196 25
formalmethods
intrepyd

Intrepyd Model Checker

482 18 1
vishk23
arbiter-debate

Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

302 0 0
j4ngzzz
nightjar-verify

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

253 0 0
j4ngzzz
nightjarzzz

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

155 0 0
TendTo
pydlinear

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

135 3 0