-
Notifications
You must be signed in to change notification settings - Fork 93
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Respect driver deadline in solution processing (#2059)
# Description Dependent on #2061 Implements deadline for settlement encoding and solution merging in `driver` as explained here #1498 (comment) # Changes <!-- List of detailed changes (how the change is accomplished) --> - [ ] Solutions encoding now returns a stream that can be combined with other post-processing steps before all settlements are encoded - [ ] Merging happens as a `map` operation on the stream. As new encoded solutions come in, we attempt to merge them into previously found solutions. This changes the existing merge algorithm behavior, but should be fine as it's an imperfect optimisation for Gnosis solvers anyways. - [ ] Adjusted deadline for re-simulation to use `driver` and not `solver` timeout. ## How to test CI --------- Co-authored-by: Felix Leupold <[email protected]>
- Loading branch information
Showing
5 changed files
with
91 additions
and
67 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters