libz3

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


Build for aarch64-musl, version 4.14.1_1. Builds for all architectures.


Details

Homepage:
https://github.com/Z3Prover/z3
License:
MIT
Maintainer:
Leah Neukirchen
Built at:
2025-03-22 18:27
Build options:
~ocaml
Installed size:
27.20 MiB
Popularity:
No usages in 95 reports
Provided shlibs:
libz3.so
Depending on: