From 05c3515ba712002e00183d32a3e86dee60a14347 Mon Sep 17 00:00:00 2001
From: Gwyn Ciesla <limb@fedoraproject.org>
Date: Aug 02 2021 14:00:34 +0000
Subject: Added the README


---

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..07a4de3
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# klee
+
+KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure.
\ No newline at end of file