presburger-1.3.1: A decision procedure for quantifier-free linear arithmetic.
The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.
Modules
- Data
- Integer
presburger-1.3.1: A decision procedure for quantifier-free linear arithmetic.
The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.
Modules