smt topic
pysmt
pySMT: A library for SMT formulae manipulation and solving
liquidhaskell
Liquid Types For Haskell
smack
SMACK Software Verifier and Verification Toolchain
alive2
Automatic verification of LLVM optimizations
apalache
APALACHE: symbolic model checker for TLA+ and Quint
stainless
Verification framework and tool for higher-order Scala programs
karl
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
yinyang
A fuzzing framework for SMT solvers