From f15308f7633267bb4c8aea6451a09ae559339c76 Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Mon, 11 Apr 2022 16:37:21 -0400
Subject: [PATCH] added python requirements file

---
 requirements.txt | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 requirements.txt

diff --git a/requirements.txt b/requirements.txt
new file mode 100644
index 000000000..3373e34c4
--- /dev/null
+++ b/requirements.txt
@@ -0,0 +1 @@
+certora-cli==3.0.0