@hackage yices-easy dependencies

4 results

library:yices-easy (4 dependencies)

@haskell/transformers

Concrete functor and monad transformers

BSD-3-Clause>=0.2

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.3

@haskell/base

Core data structures and operations

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

@hackage/bindings-yices

Bindings to the Yices theorem prover

LicenseRef-PublicDomain>=0.2