haybale (cargo): Symbolic execution of LLVM IR, written in Rust
Keywords: symbolic|smt|llvm|ir