presburger

A decision procedure for quantifier-free linear arithmetic. http://github.com/yav/presburger

Version on this page:1.3.1
LTS Haskell 8.20:1.3.1
Stackage Nightly 2017-06-28:1.3.1
Latest on Hackage:1.3.1
BSD3 licensed by Iavor S. Diatchki
Maintained by diatchki@galois.com

Module documentation for 1.3.1

There are no documented modules for this package.

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

Depends on:
Used by 3 packages:
comments powered byDisqus