From abc2058eb97e6429d2729035550c8944e719260d Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Fri, 27 Oct 2023 11:03:45 -0400
Subject: [PATCH] Added installation instructions

---
 README.md | 37 +++++++++++++++++++++++++++++++++++++
 1 file changed, 37 insertions(+)

diff --git a/README.md b/README.md
index 640522b..6a22d7a 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,43 @@ Spectra is a general purpose planning system. It extends STRIPS-style planning b
  * **Expressivity**: Cannot express arbitrary constraints.  *“At every step make sure that no two blocks on the table have same color”*
    * **Domain Size**: Scaling to large domains of arbitrary sizes poses difficulty. 
 
+
+## Installation
+
+First, we need to make sure ShadowProver is installed.
+
+```bash
+git clone --recursive https://github.com/RAIRLab/ShadowProver.git
+```
+
+```bash
+cd ShadowProver
+mvn package
+mvn install
+```
+
+Now, we can clone the Spectra repository.
+
+```bash
+git clone --recursive https://github.com/RAIRLab/Spectra.git
+```
+
+Similarly build and install the java project
+
+```bash
+cd Spectra
+mvn package
+mvn install
+```
+
+Now you should be able to run Spectra:
+
+```bash
+./run_spectra.sh [problem_file_path]
+```
+
+
+
 ## Spectra's Architecture ##