List of issues

ID Activity Title Status Creator
1076 1 week ago Replace OSI with our own interface to LP/MIP solvers chatting florian
1084 1 month ago print tracebacks for parsing errors to stderr unread jendrik
1083 1 month ago Clean up mutex key chatting gabi
1077 1 month ago remove combo pattern collection generator chatting silvan
1078 1 month ago Integrate Translator and Search Component chatting gabi
1063 6 months ago Compute indirect subtype relationship more efficiently chatting mkatz
1060 8 months ago Make planner silent (= no output) when configuring all components to be silent chatting silvan
1052 12 months ago replace g_log by local LogProxy objects everywhere unread silvan
1050 12 months ago Handle landmarks from derived variables in a principled way. chatting clemens
1047 13 months ago Exit cleanly when SoPlex is used for MIPs chatting florian
1046 13 months ago Split operator-counting plugin into several independent CMake plugins chatting florian
986 17 months ago emscripten support in-progress Patrick.Speicher
751 20 months ago store g values in GEvaluator chatting jendrik
1022 21 months ago pattern collection generators: support commonly used options in all generators unread silvan
926 25 months ago Support for Gurobi in-progress florian
972 26 months ago Find a way to run Gurobi during Github actions chatting florian
980 32 months ago Implementing distance based tie breaking in search chatting mkatz
875 33 months ago translator produces static variables chatting gnad
384 45 months ago Use variables instead of predicate names for disjunctive landmarks classes chatting gabi
121 46 months ago Reuse of heuristic values between different iterations of RWA* chatting malte
397 51 months ago Treat conditional effects differently in-progress gabi
816 51 months ago docs: Use sections in wiki documentation to group similar plugins chatting gabi
847 54 months ago reduce boilerplate for hash functions unread jendrik
306 54 months ago Fix unintuitive/redundant command-line options chatting malte
823 54 months ago Clarify role of Heuristic class unread gabi
285 54 months ago evaluate/improve A* tie-breaking w.r.t. goal states chatting malte
187 55 months ago Strengthen invariant synthesis chatting gabi
795 58 months ago sbMIASM: consider alternative options to imitating the shrink strategy of the heuristic when computing temporary product systems unread silvan
779 59 months ago M&S refactoring part 2: Consider performing exact label reduction in some cases where the labels have different cost chatting silvan
702 76 months ago Compute interesting patterns faster unread florian
678 78 months ago Issue with universal quantification over large set of objects chatting enricos83
368 79 months ago Update parents in lazy search when reopen_closed is switched off chatting mkatz
636 86 months ago Integrate P^m compilation unread gabi
628 87 months ago Integrate mutex-based interference for stubborn sets unread martin
545 87 months ago Do not store values of derived variables in-progress gabi
624 87 months ago Create custom build configs with ccmake through chatting florian
620 87 months ago add mechanism for global flags set on the command line unread malte
609 88 months ago more logging of time in the driver script chatting malte
590 89 months ago Factory class for operator counting constraints chatting florian
494 102 months ago common implementation of evaluate for multi evaluator open lists chatting pvonreth
415 103 months ago Better memory management for Merge-and-Shrink chatting florian
396 103 months ago possibility to compile away conditional effects in-progress gabi
403 103 months ago Conditional effect support for LMcut chatting florian
424 110 months ago Avoid storing variables whose values are implied unread florian
166 112 months ago improve support of conditional effects in FF heuristic chatting malte
235 122 months ago search engines should release memory when destroyed reviewing patrik
202 125 months ago explore the use of reasonable orders in the admissible heuristics and explore alternative definitions in-progress malte
304 137 months ago improve handling of zero-cost actions chatting malte
267 138 months ago Add symmetries pruning support chatting nirp
98 142 months ago support derived predicates properly in our heuristics chatting malte
Download as CSV
Sort on: Descending:
Group on: Descending: