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

Published 23 months ago • Latest: 1.0.5
[unknown platforms]
→

Metadata

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

More...

1.0.1 #

  • Fixed Dart pub comments

1.0.0 #

  • Initial version.

← Metadata

0
likes
0
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

License

unknown (LICENSE)

Dependencies

ffi

More

Packages that depend on dart_z3

Back