Issue1110

Title integrate satisficing FDSS 2023 portfolio
Priority wish Status resolved
Superseder Nosy List florian, jendrik, malte, silvan
Assigned To jendrik Keywords
Optional summary
Pull request: https://github.com/aibasel/downward/pull/175

Created on 2023-09-01.18:01:42 by jendrik, last changed by florian.

Summary
Pull request: https://github.com/aibasel/downward/pull/175
Messages
msg11438 (view) Author: florian Date: 2023-10-06.11:40:52
We decided to only merge the satisficing portfolio for now. If we want the optimal one as well, we should discuss a solution to the problem mentioned in msg1131.
msg11434 (view) Author: jendrik Date: 2023-10-06.11:31:06
Merged.
msg11316 (view) Author: florian Date: 2023-09-04.12:24:03
The optimal portfolio contains some code that picks different configurations depending on the presence of axioms and conditional effects. To determine this, there is some partial SAS^+ parsing code in the portfolio file. We don't have to solve this here but in general, I feel like this is the wrong pace for it. For example, if multiple portfolios would do this, we'd repeat the code for it in each one of them. We also already have other switches like this included in our option syntax (--if-unit-cost). Maybe we need a common solution here?
msg11308 (view) Author: jendrik Date: 2023-09-01.18:01:42
I'd like to integrate the FDSS 2023 portfolios into the main repo.
History
Date User Action Args
2023-10-06 11:40:52floriansetmessages: + msg11438
2023-10-06 11:31:06jendriksetstatus: reviewing -> resolved
messages: + msg11434
title: integrate FDSS 2023 portfolios -> integrate satisficing FDSS 2023 portfolio
2023-09-27 10:45:01silvansetnosy: + silvan
2023-09-04 12:24:03floriansetnosy: + florian
messages: + msg11316
2023-09-01 18:01:42jendrikcreate