symbolic execution engine for Rust - View it on GitHub