diff options
| author | Andrea Censi <AndreaCensi@users.noreply.github.com> | 2023-06-01 21:44:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-01 21:44:17 +0200 |
| commit | 9cd5f6ee70ab4ccf14e3c2eeba665a8cd15a8a15 (patch) | |
| tree | 5dcab9c70e8ef1d7b0f3e8c233ec6a643d9440f6 /README.md | |
| parent | more (diff) | |
| parent | typos in README (diff) | |
| download | act4e-mcdp-9cd5f6ee70ab4ccf14e3c2eeba665a8cd15a8a15.tar.gz act4e-mcdp-9cd5f6ee70ab4ccf14e3c2eeba665a8cd15a8a15.zip | |
Merge pull request #2 from ACT4E/spring2023-YH-may30
Spring2023 yh may30
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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`. |