summaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md20
1 files changed, 14 insertions, 6 deletions
diff --git a/README.md b/README.md
index 69bd087..ef6d22f 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
-## Setup
+# Setup
-### Install Docker
+## Install Docker
<ul>
<li> (Mac, Linux) Follow the [installation instructions](https://docs.docker.com/get-docker/) </li>
@@ -12,7 +12,7 @@
</li>
</ul>
-### Install VS Code.
+## Install VS Code.
Select File -> Open and select *the entire folder*.
@@ -28,26 +28,29 @@ Now you should have the folder open while VS Code is in "container development m
You can create a new terminal using Terminal -> New Terminal.
-## Running tests
+## Install dependencies
Install this package and dependencies using:
pip install -e .
-The main dependency installed is `ACT4E-mcdp` which is also available [on this repo](https://github.com/ACT4E/ACT4E-mcdp).
+The main dependency installed is `ACT4E-mcdp` which is available [on this repo](https://github.com/ACT4E/ACT4E-mcdp).
That library takes care of parsing the models and queries.
+Please refer to the [online documentation](https://act4e-mcdp.readthedocs.io/en/latest/) for more information.
If we tell you to update the library, use this:
pip install -U ACT4E-mcdp
+## Running the tests
+
Use this command to download the test cases:
act4e-mcdp-download-tests --out downloaded
Then you have available a few test cases in the directory `downloaded/`.
-You should be able to run this solver:
+This is the command you use to run the solver:
act4e-mcdp-solve \
--solver act4e_mcdp_solution.MySolution \
@@ -71,3 +74,8 @@ INFO solution: UpperSet(minima=[])
The template `act4e_mcdp_solution.MySolution` always returns an empty `UpperSet` (= infeasible).
At this point, you can start implementing your solver.
+
+For testing, run `act4e-mcdp-solve` on different files.
+
+
+TODO: provide a exhaustive test case.