Mentions légales du service

Skip to content
  • Andrei Paskevich's avatar
    introduce trans-based pprinting in Z3 · acc08f43
    Andrei Paskevich authored
    but not use it by default, because of bad caching of smt_encoding
    transformations. Because of this, new function symbols appear again
    and again, and since we don't forget function symbols in trans-based
    printers, we obtain names like at234.