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

Published 7 months ago • verified publishertst.shDart 3 compatible
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

High-level bindings to the Z3 SMT solver.

More...

0.1.0 #

  • Initial Release

← Metadata

2
likes
110
pub points
21%
popularity

Publisher

verified publishertst.sh

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