@hackage presburger dependencies

6 results

library:presburger (3 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause<0.6

@haskell/base

Basic libraries

BSD-3-Clause>=4.4 && <4.11

@hackage/pretty

Pretty-printing library

test:pressburger-qc-tests (3 dependencies)

@haskell/base

Basic libraries

@hackage/presburger

A decision procedure for quantifier-free linear arithmetic.

BSD-3-Clause==1.3.1

@hackage/QuickCheck

Automatic testing of Haskell programs