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.