#Smt
Showing 10 of 10 repositories tagged #smt, ranked by stars
Symbolic execution tool
Transpiler of Python to many other languages
Better parametric search for components available for JLC PCB assembly
Rust bindings for the Z3 solver.
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
Jupyter notebooks for tutorial on the Z3 SMT solver
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.
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.
Legalis-RS is a Rust framework for parsing, analyzing, and simulating legal statutes. It transforms natural language legal documents into structured, machine-verifiable code while preserving the essential distinction between: Deterministic Logic (Code) and Judicial Discretion (Narrative)
Sparse Merkle tree for a key-value map.