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

Published 2 years ago • verified publishertst.sh
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

High-level bindings to the Z3 SMT solver.

More...

1 versionVersions feed

Stable versions of z3

VersionMin Dart SDKUploadedDocumentationArchive
0.1.03.02 years agoGo to the documentation of z3 0.1.0Download z3 0.1.0 archive

← Metadata

4
likes
130
points
26
downloads

Publisher

verified publishertst.sh

Weekly Downloads

Metadata

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

Back