Rupsbant

The Arxiv url referencing Chen et al. 2016 is "https://arxiv.org/abs/1604.06174". Currently the letters x and v are swapped. Kind regards

Deconstruct a graph into Elements and rebuild it as another graph.

2

This request implements the inverse of FromElements. It deconstructs a graph (Graph or StableGraph) into an Iterator of Elements of Cloned weights, ready to be rebuild. GraphMap is not compatible...

Adding priority promotion en Zielonka variants with justifications.

3

Hi, I would like to add two, or three, justification variants to Oink: Oink-ppj is a priority promotion variant, Oink-zlkj is a variant of Zielonka's algorithm with a hashset and...

Performance improvement qpt.cpp

3

Notation: `au(b,pv)` is the antagonistic update of a progress measure `b` with priority `pv`. `pm(w)` is the current progress measure of `w` and `pr(v)` is the priority of `v`. If...