dart_z3 1.0.5 copy "dart_z3: ^1.0.5" to clipboard
dart_z3: ^1.0.5 copied to clipboard

Published 3 years ago
discontinued
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

Holds Dart-like bindings for the C api of Z3 Theorem Prover, version (4.8.17).

More...

4 versionsVersions feed

Stable versions of dart_z3

VersionMin Dart SDKUploadedDocumentationArchive
1.0.52.173 years agoGo to the documentation of dart_z3 1.0.5Download dart_z3 1.0.5 archive
1.0.42.173 years agoGo to the documentation of dart_z3 1.0.4Download dart_z3 1.0.4 archive
1.0.12.173 years agoDownload dart_z3 1.0.1 archive
1.0.02.173 years agoDownload dart_z3 1.0.0 archive

← Metadata

0
likes
130
points
30
downloads

Publisher

unverified uploader

Weekly Downloads

Metadata

Holds Dart-like bindings for the C api of Z3 Theorem Prover, version (4.8.17).

Repository (GitHub)

Documentation

API reference

License

MIT (license)

Dependencies

ffi

More

Packages that depend on dart_z3

Back