Package Info

ghc-presburger

install

A decision procedure for quantifier-free linear arithmetic

Development/Libraries/Haskell
The decision procedure is based on the algorithm used in CVC4, which is itself
based on the Omega test.
License: MIT
URL: https://hackage.haskell.org/package/presburger

Categories

Development Libraries Haskell

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
1.3.1-bp150.2.4 info GA Release 2018-08-01 15
  • AArch64
  • ghc-presburger
  • ghc-presburger-devel
1.3.1-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-presburger
  • ghc-presburger-devel