@hackage presburger dependencies

6 results

library:presburger (3 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/containers

Assorted concrete container types

@hackage/pretty

Pretty-printing library

test:pressburger-qc-tests (3 dependencies)

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/base

Core data structures and operations

@hackage/presburger

A decision procedure for quantifier-free linear arithmetic.

BSD-3-Clause==1.2