0 purchases
dart z3
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.
For personal and professional use. You cannot resell or redistribute these repositories in their original state.
There are no reviews.