There are 13 repositories under smt topic.
Symbolic execution tool
Automatic verification of LLVM optimizations
APALACHE: symbolic model checker for TLA+ and Quint
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Jupyter notebooks for tutorial on the Z3 SMT solver
A Go library that implements a Sparse Merkle tree for a key-value map.
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography library for Apache Kafka® offering a Kafka Connect SMT, ksqlDB UDFs, and a standalone HTTP API service. It's an ! UNOFFICIAL ! community project
SMT based attacks on non cryptographic PRNGs
Formally prove properties of Haskell programs using SBV/SMT.
CLP(SMT) on top of miniKanren