Jasper Van der Jeugt's `psqueues` package (jaspervdj/psqueues): pure priority search queues in three flavours (OrdPSQ, IntPSQ, HashPSQ). Bug fixes mined from upstream history; modern HEAD is the base, each patch reverse-applies a fix to install the original bug.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
HashPsqInsertEqualPriorityKeyTieBreak | 0 | 40 | 0 | bug found |
OrdPsqBalanceAfterOperations | 10 | 30 | 0 | bug found |
OrdPsqFromListLastOccurrenceWins | 0 | 40 | 0 | bug found |