Smt Python Packages

manticore

Symbolic execution tool

28K 4K 495

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.

5K 26 2

isla-solver

The ISLa (Input Specification Language) language & solver.

4K 72 10

ffg

A generator for Semantic Fusion

2K 2 0

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.

2K 17 5

autoguess

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

1K 33 5

yinyang

A fuzzing framework for SMT solvers

713 196 25

py2many

Transpiler of Python to many other languages

565 1K 78

smt-portfolio

A simple wrapper to run multiple SMT solvers in parallel

402 3 0

pyodbdesignlib

A free open source cross-platform C++ library for parsing ODB++ Design archives, accessing their data, and building net list product models. Exposed via a REST and gRPC API packaged inside of a Docker image, ready for deployment onto k8s clusters.

235 76 36