falcon-z3

Rust bindings for z3.