ByNobleID
    Equality saturation: engineering challenges and applications | NobleID