fixed_z3 0.1.1 
fixed_z3: ^0.1.1 copied to clipboard
Fixed implementation of high-level bindings to the Z3 SMT solver.
Stable versions of fixed_z3
| Version | Min Dart SDK | Uploaded | Documentation | Archive | |
|---|---|---|---|---|---|
| 0.1.1 | Null safety | 3.0 | 7 months ago |  |  |
Metadata
2
likes
130
points
32
downloads
Publisher
unverified uploader
Weekly Downloads
Metadata
Fixed implementation of high-level bindings to the Z3 SMT solver.
Repository (GitHub)
View/report issues
Documentation
License
BSD-3-Clause (license)
Dependencies
ffi, meta, package_config, pub_semver
