klee-rs (cargo): A safe KLEE API for Rust
Keywords: api|klee|symbolic|execution