fixed_z3 0.1.1 copy "fixed_z3: ^0.1.1" to clipboard
fixed_z3: ^0.1.1 copied to clipboard

Published 7 months ago Dart 3 compatible
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

Fixed implementation of high-level bindings to the Z3 SMT solver.

More...

0.1.1 #

  • Fix segmentation fault in PbEq implementation (by Ecateln)
  • Miscellaneous fixes (by pingbird)

0.1.0 #

  • Initial Release

← 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

API reference

License

BSD-3-Clause (license)

Dependencies

ffi, meta, package_config, pub_semver

More

Packages that depend on fixed_z3

Back