presburger

A decision procedure for quantifier-free linear arithmetic.

http://github.com/yav/presburger

LTS Haskell 8.24:1.3.1@rev:1
Stackage Nightly 2017-10-02:1.3.1@rev:1
Latest on Hackage:1.3.1@rev:2

See all snapshots presburger appears in

BSD-3-Clause licensed by Iavor S. Diatchki
Maintained by [email protected]
This version can be pinned in stack with:presburger-1.3.1@sha256:78a88b2fa0b18c2341e2a1dc6205fbdc9ebc6f28d43a906ec6e655eeffad2509,952

Module documentation for 1.3.1

Used by 1 package in lts-2.22(full list with versions):
cryptol

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