@hackage z3 dependencies

11 results

library:z3 (3 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

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