smt topic
jlcparts
Better parametric search for components available for JLC PCB assembly
gosat
SMT solver for the theory of floating-point arithmetic
clpsmt-miniKanren
CLP(SMT) on top of miniKanren
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
py2many
Transpiler of Python to many other languages
manticore
Symbolic execution tool
FStar
A Proof-oriented Programming Language
smt
A Go library that implements a Sparse Merkle tree for a key-value map.
z3.rs
Rust bindings for the Z3 solver.
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.