z3 0.1.0 copy "z3: ^0.1.0" to clipboard
z3: ^0.1.0 copied to clipboard

High-level bindings to the Z3 SMT solver.

0.1.0 #

  • Initial Release
3
likes
130
pub points
15%
popularity

Publisher

verified publishertst.sh

High-level bindings to the Z3 SMT solver.

Repository (GitHub)
View/report issues

Documentation

API reference

License

BSD-3-Clause (license)

Dependencies

ffi, meta, package_config, pub_semver

More

Packages that depend on z3