z3

Z3 theorem prover and SMT solver (command line + Python3 module)


Build for x86_64-musl, version 4.15.3_1. Builds for all architectures.


Details

Homepage:
https://github.com/Z3Prover/z3
License:
MIT
Maintainer:
Leah Neukirchen
Built at:
2025-08-17 20:24
Build options:
ocaml
Installed size:
30.90 MiB
Provides:
Popularity:
2 usages in 122 reports
Depending on: