On Wed, 18 Jan 2023, Peter Wang wrote: > We can update the precessor maps more efficiently. With the following > change, benchmarks on some randomly generated graphs ran from 2.33 to 93 > times as fast as the old algorithm. Is that actually ninety-three times and not a typo? Julien.