A decision procedure for quantifier-free linear arithmetic.

Version on this page:1.3.1
LTS Haskell 8.12:1.3.1
Stackage Nightly 2017-04-23:1.3.1
Latest on Hackage:1.3.1
BSD3 licensed by Iavor S. Diatchki
Maintained by

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