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.
ivoschols / dart-z3 Goto Github PK
View Code? Open in Web Editor NEWA not so idiomatic generated z3 binding
License: MIT License