@hackage z3 dependencies

12 results

library:z3 (4 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.2

@haskell/containers

Assorted concrete container types

@haskell/base

Basic libraries

BSD-3-Clause>=4.5 && <5

@hackage/semigroups

Anything that associates

BSD-3-Clause>=0.5

executable:examples (4 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.2

@haskell/containers

Assorted concrete container types

@haskell/base

Basic libraries

BSD-3-Clause>=4.5

@hackage/z3

Bindings for the Z3 Theorem Prover

test:spec (4 dependencies)

@haskell/base

Basic libraries

BSD-3-Clause>=4.5

@hackage/z3

Bindings for the Z3 Theorem Prover

@hackage/hspec

A Testing Framework for Haskell

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.5.1