diff --git a/requirements.txt b/requirements.txt
new file mode 100644
index 0000000..0ca5b9b
--- /dev/null
+++ b/requirements.txt
@@ -0,0 +1,6 @@
+tqdm
+z3-solver
+matplotlib
+networkx
+requests
+beautifulsoup
\ No newline at end of file