@hackage / presburger

A decision procedure for quantifier-free linear arithmetic.

Latest1.3.1

Dependencies

library:presburger (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.4 && <4.11
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: <0.6
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version:
- License: BSD-3-Clause

test:pressburger-qc-tests (3 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version:
- License: BSD-3-Clause
@hackage / presburger A decision procedure for quantifier-free linear arithmetic.
- Version: ==1.3.1
- License: BSD-3-Clause