@hackage presburger1.3.1

A decision procedure for quantifier-free linear arithmetic.

Categories
- Algorithms
License
BSD-3-Clause
Maintainer
diatchki@galois.com
Links
Versions
- 1.3.1 Sun, 14 Apr 2019
- 1.3 Sun, 14 Apr 2019
- 1.2 Thu, 28 May 2015
- 1.1 Thu, 28 May 2015
- 1.0 Thu, 28 May 2015
- 0.4 Sun, 14 Apr 2019

Installation
In your cabal file:
Dependencies (3)
- base >=4.4 && <4.11
- containers <0.6
- pretty
Dependents (4)
@hackage/cryptol, @hackage/acme-everything, @hackage/inch, @hackage/ghc-typelits-presburger

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.