• Andrei Paskevich's avatar
    implement printers as memoizing transformations · 9640fb2b
    Andrei Paskevich authored
    also, avoid the "encoding_sort" transformation, if it can be done
    directly in the printer.
    
    On the same example as in the previous commits, this gives 5x
    acceleration together with some memory usage reduction.
    9640fb2b
tptp-tff0.drv 6.88 KB