> > Bernd Kiefer wrote: >> The greatest news is maybe that flop is now back to the >> old speed of the LEDA implementation (even slightly faster), using the >> boost library. PET is now flopping 10-20 times faster for me than it was this morning. Thanks!