-
Guillaume Melquiond authored
Indeed their inlining causes an exponential growth of the formulas for all the provers that are relying on the "eliminate_if" transformation.
d5670dc8
Indeed their inlining causes an exponential growth of the formulas for all the provers that are relying on the "eliminate_if" transformation.