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.

Stable versions of z3

VersionMin Dart SDKUploadedDocumentationArchive
0.1.0Null safety3.013 months agoGo to the documentation of z3 0.1.0Download z3 0.1.0 archive
3
likes
130
pub points
9%
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