Fugue Binary Analysis Framework This crate provides a concolic interpreter for fuguex-core. Currently, we have support for two SMT solvers: Boolector and Z3.
