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

Published 2 years ago • Latest: 1.0.5
outdated
→

Metadata

Holds bindings to Z3, version (4.8.17)

More...

Partially implemented Z3 (Version 4.8.17) bindings for Dart, native C generated with ffigen Please note that although this is an implementation, it is very experimental and not really tested. Use at own risk.

← Metadata

0
likes
0
pub points
0%
popularity

Publisher

unverified uploader

Metadata

Holds bindings to Z3, version (4.8.17)

Repository (GitHub)
View/report issues

License

unknown (license)

Dependencies

ffi

More

Packages that depend on dart_z3

Back