High-level bindings to the Z3 SMT solver.
More...
tst.sh
Repository (GitHub)View/report issues
API reference
BSD-3-Clause (license)
ffi, meta, package_config, pub_semver
Packages that depend on z3
Back