Contribution: Presburger

Presburger's algorithm

Authors:

  • Laurent Théry [INRIA Sophia-Antipolis]

Description:

A formalization of Presburger's algorithm as stated in the initial paper by Presburger.

Keywords:

  • integers
  • arithmetic
  • decision procedure
  • presburger

Source files: