A fuzzing framework for SMT solvers
Jupyter notebooks for tutorial on the Z3 SMT solver
Datalog with support for SMT queries and first-order functional programming
A Go library that implements a Sparse Merkle tree for a key-value map.
Synthesis of Heap-Manipulating Programs from Separation Logic
MonoSAT - An SMT solver for Monotonic Theories
Automatic program repair system for Java based on dynamic analysis and c...
A blackbox mutational fuzzer for detecting critical bugs in SMT solvers
Kryptonite for Kafka is a client-side 🔒 field level 🔓 cryptography lib...
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Haskell bindings to Microsoft's Z3 API (unofficial).
SMT based attacks on non cryptographic PRNGs
Formally prove properties of Haskell programs using SBV/SMT.
prototyping logic programming in Scala
[research] A modular SMT solver in OCaml, based on mcSAT