Module Presburger
Conversions from and to Presburger arithmetic formulas
- author
- Ruoyu Zhang
val to_presburger : Var.t list -> Term.t -> Poly.cformula
Normalize the term into a Presburger formula
val term_of_cformula : Poly.cformula -> Term.t list
Convert a presburger formula to a term