Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Stp | 477 | 7 months ago | 56 | other | C++ | |||||
Simple Theorem Prover, an efficient SMT solver for bitvectors | ||||||||||
Yices2 | 345 | 6 months ago | 45 | gpl-3.0 | SMT | |||||
The Yices SMT Solver | ||||||||||
Go Z3 | 92 | 4 years ago | 1 | December 28, 2019 | 4 | mit | Go | |||
Go (golang) bindings to the Z3 SMT Solver | ||||||||||
C3 | 27 | 2 years ago | apache-2.0 | C | ||||||
The C3, SMT/SAT solver written in C. | ||||||||||
Batsat | 24 | 1 | a year ago | 5 | January 12, 2021 | 2 | other | Rust | ||
A (parametrized) Rust SAT solver originally based on MiniSat | ||||||||||
Sidekick | 23 | 6 months ago | 7 | apache-2.0 | SMT | |||||
A modular library for CDCL(T) SMT solvers, with [wip] proof generation. | ||||||||||
Z3 Mode | 18 | 3 years ago | Emacs Lisp | |||||||
An interactive development environment for SMT-LIB files and Z3 | ||||||||||
Modulus | 10 | 3 years ago | n,ull | mit | OCaml | |||||
A constraint solver built from scratch in OCaml | ||||||||||
Mcsatan | 8 | 3 years ago | 1 | Python | ||||||
A diabolic implementation of mcSAT 😈 | ||||||||||
Cdcl Crypto | 5 | 3 years ago | other | C++ | ||||||
CDCL(Crypto) SAT solver for cryptanalysis problems |