Clarify execution instructions

JHUAPL · Aug 17, 2020 · d3c0da5 · d3c0da5
1 parent 1331cb0
commit d3c0da5
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -11,4 +11,11 @@ An annotated `example.py` demonstrates basic usage.
 
 Lantern was developed against `torch==1.5.0` and `z3-solver==4.8.7.0`.
 Linear Real Arithmetic appears to be stable, but we have noticed some changes
-to the floating point solvers as z3 continues to be developed.
+to the floating point solvers as z3 continues to be developed. To reproduce our
+environment, we recommend executing:
+
+    git clone https://github.com/JHUAPL/lantern-smt.git
+    pip3 install -r requirements.txt
+    python3 example.py
+
+In a Python 3 virtual environment.
diff --git a/requirements.txt b/requirements.txt
@@ -1,2 +1,2 @@
-torch
-z3-solver
+torch==1.5.0
+z3-solver==4.8.7.0