presburger

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

Version on this page:1.3.1
LTS Haskell 8.24:1.3.1
Stackage Nightly 2017-09-20: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

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