falcon-z3 is used at run time in 2 crates.

Depender falcon-z3 version
falcon-finch ^0.5.2
falcon-raptor ^0.5.2