Skip to content
Browse files

[doc] Preparing the documentation for replicating examples of the PPD…

…P19 paper
  • Loading branch information...
ptal committed Jul 24, 2019
1 parent 77720c8 commit fae3e9ecbfeb736b908081f2bac8f4a6e787411b
Showing with 11 additions and 2 deletions.
  1. +1 −1
  2. +10 −1 doc/src/
@@ -6,7 +6,7 @@

[Companion guide to the paper submitted to PPDP19](
[Companion guide (PPDP19)]( (see below if the link is dead).

Spacetime programming is a programming language on top of Java to describe search strategies exploring combinatorial state-space such as in constraint satisfaction problems.
Please consult the [spacetime manual]( for more information.
@@ -6,6 +6,15 @@

This supplementary material gives instructions to compile and run the examples and benchmarks presented in the paper.

### Prerequisites

* [rustup]( `curl -sSf | sh` (do not forget to source your profile or restart your terminal).
* [Maven](, it is usually available in the package manager of your distribution:
1. MacOSX: `sudo brew install maven`
2. Linux Ubuntu: `sudo apt-get install maven`

### Installing Bonsai (tag PPDP19)

If you want to replicate any benchmark and running examples, first install the compiler and runtime as follows:

@@ -15,7 +24,7 @@ git checkout PPDP19

In case of problems, please go to the [Getting Started](getting-started.html) section (but do not forget to switch to the `PPDP19` branch).
If you have any issue, please consult [Getting Started](getting-started.html) for further instructions.

## Demo of the examples in the paper

0 comments on commit fae3e9e

Please sign in to comment.
You can’t perform that action at this time.