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

Published 21 months ago
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

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

More...

1 versionVersions feed

Stable versions of fixed_z3

VersionMin Dart SDKUploadedDocumentationArchive
0.1.13.021 months agoGo to the documentation of fixed_z3 0.1.1Download fixed_z3 0.1.1 archive

← Metadata

2
likes
130
points
16
downloads

Publisher

unverified uploader

Weekly Downloads

Metadata

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

Documentation

API reference

License

BSD-3-Clause (license)

Dependencies

ffi, meta, package_config, pub_semver

More

Packages that depend on fixed_z3

Back