Last released Mar 17, 2026
Bitwuzla Satisfiability Modulo Theories Solver
Last released Feb 25, 2026
Python bindings for cvc5 (GPL version)
Python bindings for cvc5 (BSD version)
Last released Nov 13, 2025
Python wrapper around the Boolector SMT solver
Last released Jun 30, 2025
A delta debugger for SMT-LIBv2 files
Supported by
