GitHub repository: klee/homebrew-klee
Primary language: Ruby
Description: Homebrew tap for KLEE