falcon-z3 0.4.4

Rust bindings for z3 and Falcon

falcon-z3

Rust bindings for z3.

These bindings are currently building against z3 4.7.1.