rairlab/Spectra
1
0
Fork 0
mirror of https://github.com/RAIRLab/Spectra.git synced 2024-11-21 08:26:30 -05:00
Code Issues Projects Releases Packages Wiki Activity

Added installation instructions

Browse source
This commit is contained in:
Brandon Rozek 2023-10-27 11:03:45 -04:00
parent aad79404af
commit abc2058eb9
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480
1 changed files with 37 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

37
README.md
View file

@ -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”* * **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. * **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 ## ## Spectra's Architecture ##