GitHub repository: markhakansson/klee-rs
Primary language: Rust
Description: Safe KLEE API for Rust