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

Published 2 years ago Dart 3 compatible
SDKDartFlutter
PlatformAndroidiOSLinuxmacOSWindows
→

Metadata

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

More...

Stable versions of dart_z3

VersionMin Dart SDKUploadedDocumentationArchive
1.0.5Null safety2.172 years agoGo to the documentation of dart_z3 1.0.5Download dart_z3 1.0.5 archive
1.0.4Null safety2.172 years agoGo to the documentation of dart_z3 1.0.4Download dart_z3 1.0.4 archive
1.0.1Null safety2.172 years agoDownload dart_z3 1.0.1 archive
1.0.0Null safety2.172 years agoDownload dart_z3 1.0.0 archive

← Metadata

0
likes
130
pub points
0%
popularity

Publisher

unverified uploader

Metadata

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

Repository (GitHub)
View/report issues

Documentation

API reference

License

MIT (license)

Dependencies

ffi

More

Packages that depend on dart_z3

Back