homepage: http://github.com/yav/presburger
changelog-type: ''
hash: 7c88061e13bab0e63240c05dad36b9518ad50d7ad4ade0f8911efa7826eb4b5d
test-bench-deps:
  base: -any
  presburger: ==1.3.1
  QuickCheck: -any
maintainer: diatchki@galois.com
synopsis: A decision procedure for quantifier-free linear arithmetic.
changelog: ''
basic-deps:
  base: ! '>=4.4 && <10'
  containers: -any
  pretty: -any
all-versions:
- '0.1'
- '0.2'
- '0.3'
- '0.4'
- '1.0'
- '1.1'
- '1.2'
- '1.3'
- 1.3.1
author: Iavor S. Diatchki
latest: 1.3.1
description-type: haddock
description: ! 'The decision procedure is based on the algorithm used in

  CVC4, which is itself based on the Omega test.'
license-name: BSD-3-Clause

homepage: http://github.com/yav/presburger
changelog-type: ''
hash: 78a88b2fa0b18c2341e2a1dc6205fbdc9ebc6f28d43a906ec6e655eeffad2509
test-bench-deps:
  base: -any
  presburger: ==1.3.1
  QuickCheck: -any
maintainer: diatchki@galois.com
synopsis: A decision procedure for quantifier-free linear arithmetic.
changelog: ''
basic-deps:
  base: ! '>=4.4 && <4.11'
  containers: <0.6
  pretty: -any
all-versions:
- '0.1'
- '0.2'
- '0.3'
- '0.4'
- '1.0'
- '1.1'
- '1.2'
- '1.3'
- 1.3.1
author: Iavor S. Diatchki
latest: 1.3.1
description-type: haddock
description: |-
  The decision procedure is based on the algorithm used in
  CVC4, which is itself based on the Omega test.
license-name: BSD-3-Clause

Update from Hackage at 2019-04-14T19:43:45Z
Update from Hackage at 2019-04-14T19:43:45Z
