ap.parser
Postprocess a formula output by the prover, for instance a model or the result of interpolation or quantifier elimination.
Postprocess a formula output by the prover, for instance a model or the result of interpolation or quantifier elimination.