summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrea Censi <AndreaCensi@users.noreply.github.com>2023-06-01 21:44:17 +0200
committerGitHub <noreply@github.com>2023-06-01 21:44:17 +0200
commit9cd5f6ee70ab4ccf14e3c2eeba665a8cd15a8a15 (patch)
tree5dcab9c70e8ef1d7b0f3e8c233ec6a643d9440f6
parentmore (diff)
parenttypos in README (diff)
downloadact4e-mcdp-9cd5f6ee70ab4ccf14e3c2eeba665a8cd15a8a15.tar.gz
act4e-mcdp-9cd5f6ee70ab4ccf14e3c2eeba665a8cd15a8a15.zip
Merge pull request #2 from ACT4E/spring2023-YH-may30
Spring2023 yh may30
-rw-r--r--README.md8
1 files changed, 4 insertions, 4 deletions
diff --git a/README.md b/README.md
index 9fb2ec1..7c0298a 100644
--- a/README.md
+++ b/README.md
@@ -59,14 +59,14 @@ Then you have available a few test cases in the directory `downloaded/`.
act4e-mcdp-solve-dp \
--solver act4e_mcdp_solution.DPSolver \
--query FixFunMinRes \
- --model downloaded/lib1-parts.e03_splitter1.primitivedps.mcdpr1.yaml \
- --data '42'
+ --model downloaded/lib1-parts.primitivedps.e03_splitter1.mcdpr1.yaml \
+ --data '10'
In brief:
* `--solver act4e_mcdp_solution.DPSolver`: this selects the class for your solver;
* `--query FixFunMinRes`: this selects `FixFunMinRes` (other choice: `FixResMaxFun`);
-* `--model downloaded/lib1-parts.e03_splitter1.primitivedps.mcdpr1.yaml`: this selects the model to use for optimization;
+* `--model downloaded/lib1-parts.primitivedps.e03_splitter1.mcdpr1.yaml`: this selects the model to use for optimization;
* `--data '10'`: this selects the query to give.
It is a YAML dictionary with a key for each functionality name.
@@ -142,7 +142,7 @@ This is the command you use to run the MCDP solver:
act4e-mcdp-solve-mcdp \
--solver act4e_mcdp_solution.MCDPSolver \
--query FixFunMinRes \
- --model downloaded/lib1-parts.e03_splitter1.models.mcdpr1.yaml \
+ --model downloaded/lib1-parts.models.e03_splitter1.mcdpr1.yaml \
--data '{f: 42}'
Note that for the MCDP solver we give a file of type `models.mcdpr1.yaml` instead of `primitivedps.mcdpr1.yaml`.