dart_z3 1.0.5 
dart_z3: ^1.0.5 copied to clipboard
Holds Dart-like bindings for the C api of Z3 Theorem Prover, version (4.8.17).
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
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
License
MIT (license)
