Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Z3.rs | 294 | 1 | 12 | 3 months ago | 19 | July 25, 2023 | 45 | Rust | ||
Rust bindings for the Z3 solver. | ||||||||||
Go Z3 | 92 | 3 years ago | 1 | December 28, 2019 | 4 | mit | Go | |||
Go (golang) bindings to the Z3 SMT Solver | ||||||||||
Schmitty | 81 | a year ago | 2 | other | Agda | |||||
Agda bindings to SMT-LIB2 compatible solvers. | ||||||||||
Haskell Z3 | 54 | 3 | a year ago | 12 | May 13, 2018 | 15 | other | Haskell | ||
Haskell bindings to Microsoft's Z3 API (unofficial). | ||||||||||
Z3overlay | 33 | 2 years ago | mit | OCaml | ||||||
An overlay for the OCaml Z3 binding. | ||||||||||
Go Z3 | 22 | 2 years ago | 4 | bsd-3-clause | Go | |||||
Bindings for the Z3 SMT solver | ||||||||||
Libsmt.rs | 14 | 5 years ago | 14 | other | Rust | |||||
Rust Bindings to interact with SMTLIB2 compliant solvers | ||||||||||
Cosa2 | 11 | 4 years ago | 14 | other | C++ | |||||
Next generation cosa. | ||||||||||
Llvmvf | 8 | 2 years ago | 1 | Haskell | ||||||
LLVM Verification Framework | ||||||||||
Z3 Installer | 8 | 11 years ago | Shell | |||||||
An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED) |