Smt Python Packages | PyRank

touchstone-prover

An SMT-based verifier and type inferencer for Python: proves contracts, equivalence, and trap-freedom (with counterexamples) over a Rocq trust base.

82K 8 0

manticore

Symbolic execution tool

17K 4K 500

oxiz

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

8K 39 3

contextlite

Database Freedom Platform - Mathematical search optimization for whatever database you already have. 27,000x faster than vector databases with SMT-powered search across 8+ database types. One-time 9-2999 vs 00-500/month recurring.

4K 19 5

isla-solver

The ISLa (Input Specification Language) language & solver.

4K 73 10

autoguess

An easy-to-use, general and open-source tool to solve the guess-and-determine problem

2K 33 5

py2many

Transpiler of Python to many other languages

629 1K 87

clauz3

Static contract experiments for agent-authored Python

484 4 0

smt-portfolio

A simple wrapper to run multiple SMT solvers in parallel

365 3 0

provably

Proof-carrying Python — Z3-backed formal verification via @verified decorators

316 0 0

corpus-cleaner

Natural-language corpus cleaning scripts

225 9 0

ffg

A generator for Semantic Fusion

198 2 0

pydlinear

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

197 3 0

astraintella

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

180 0 0

yinyang

A fuzzing framework for SMT solvers

174 197 25

pyodbdesignlib

Thin Python3 wrapper for the (C++) OdbDesignLib

153 81 37

verasolve

Verified AI reasoning SDK — placeholder reserving the PyPI name. Functional SDK coming soon.

105 0 0