Module CooperQE
Cooper quantifier elimination
- author
- Ruoyu Zhang
val eliminate : Model.t -> Var.t list -> Poly.cformula -> Poly.cformula
Eliminate quantifiers of a list of variables in a formula
CooperQE
Cooper quantifier elimination
val eliminate : Model.t -> Var.t list -> Poly.cformula -> Poly.cformula
Eliminate quantifiers of a list of variables in a formula