diff options
| author | Federico Igne <git@federicoigne.com> | 2022-08-13 11:49:34 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2022-08-13 11:49:34 +0100 |
| commit | e32fdba705ada39debc0195a73005f8be4410725 (patch) | |
| tree | 0b2c76d0e672a442330f0785ac6758422e71c115 | |
| parent | 280e45f13cdad1d19c833484a323da04bf3a1ce4 (diff) | |
| download | rubik-master.tar.gz rubik-master.zip | |
| -rwxr-xr-x | README.md | 42 |
1 files changed, 21 insertions, 21 deletions
| @@ -9,26 +9,26 @@ | |||
| 9 | 9 | ||
| 10 | # Running the simulator | 10 | # Running the simulator |
| 11 | 11 | ||
| 12 | 1. Clone the repository | 12 | Clone the repository |
| 13 | 13 | ||
| 14 | ```sh | 14 | ``` |
| 15 | git clone https://git.dyamon.me/projects/rubik | 15 | git clone https://git.dyamon.me/projects/rubik |
| 16 | ``` | 16 | ``` |
| 17 | 17 | ||
| 18 | or download a snapshot of the code with either | 18 | or download a snapshot of the code with either |
| 19 | 19 | ||
| 20 | ```sh | 20 | ``` |
| 21 | https://git.dyamon.me/projects/rubik/snapshot/rubik-master.tar.gz | 21 | wget https://git.dyamon.me/projects/rubik/snapshot/rubik-master.tar.gz |
| 22 | ``` | 22 | ``` |
| 23 | 23 | ||
| 24 | or | 24 | or |
| 25 | 25 | ||
| 26 | ```sh | 26 | ``` |
| 27 | wget https://git.dyamon.me/projects/rubik/snapshot/rubik-master.zip | 27 | wget https://git.dyamon.me/projects/rubik/snapshot/rubik-master.zip |
| 28 | ``` | 28 | ``` |
| 29 | 29 | ||
| 30 | 1. Open `index.html` in your browser. | 30 | Open `index.html` in your browser. |
| 31 | 31 | ||
| 32 | 1. Click on `Select File` and load a previously exported file or a file containing the output of `asp/20_rubikigne.lp` (compatible with Clingo >=4.0.0). | 32 | Click on `Select File` and load a previously exported file or a file containing the output of `asp/20_rubikigne.lp` (compatible with Clingo >=4.0.0). |
| 33 | 33 | ||
| 34 | The `examples` folder contains a few examples. | 34 | The `examples` folder contains a few examples. |