Blame README.md

05c3515
# klee
05c3515
05c3515
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure.