summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrea Censi <AndreaCensi@users.noreply.github.com>2023-05-26 17:44:29 +0200
committerAndrea Censi <AndreaCensi@users.noreply.github.com>2023-05-26 17:44:29 +0200
commitd2e8c038929bbea945f6fc04e4e5f6847e5c2b24 (patch)
tree37267d7006470ea9f6455601c040498ea34b9f3f
parentmisc (diff)
downloadact4e-mcdp-d2e8c038929bbea945f6fc04e4e5f6847e5c2b24.tar.gz
act4e-mcdp-d2e8c038929bbea945f6fc04e4e5f6847e5c2b24.zip
ciskip
-rw-r--r--README.md20
-rw-r--r--src/act4e_mcdp_solution/solution.py2
2 files changed, 16 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.
diff --git a/src/act4e_mcdp_solution/solution.py b/src/act4e_mcdp_solution/solution.py
index 0a207d0..4704807 100644
--- a/src/act4e_mcdp_solution/solution.py
+++ b/src/act4e_mcdp_solution/solution.py
@@ -7,7 +7,9 @@ __all__ = ["MySolution"]
class MySolution(SolverInterface):
def solve_FixFunMinRes(self, model: NamedDP, query: Mapping[str, Any]) -> UpperSet[Mapping[str, Any]]:
+ # returns the empty upper set - marking it as infeasible
return UpperSet([])
def solve_FixResMaxFun(self, model: NamedDP, query: Mapping[str, Any]) -> LowerSet[Mapping[str, Any]]:
+ # returns the empty upper set - marking it as infeasible
return LowerSet([])