[]
= "falcon-z3"
= "0.4.4"
= ["Alex Eubanks <endeavor@rainbowsandpwnies.com>"]
= "https://github.com/falconre/falcon-z3"
= "https://github.com/falconre/falcon-z3"
= "Rust bindings for z3 and Falcon"
= "README.md"
= "MIT"
[]
= "0.12"
= "0.4.4"
= { ="0.2", = ["serde"]}
= "0.2.1"
= "0.3"
[]
= "falcon_z3"
= "lib/lib.rs"