@hackage smcdel dependencies

@haskell/process

Process libraries

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@haskell/array

Mutable and immutable arrays

@hackage/time

A time library

@hackage/temporary

Portable temporary file and directory support

@hackage/tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

@hackage/graphviz

Bindings to Graphviz for graph visualisation.

@hackage/cudd

Bindings to the CUDD binary decision diagrams library

BSD-3-Clause==0.1.0.0

@hackage/QuickCheck

Automatic testing of Haskell programs

GPL-2.0-only>=0.1.0.1 && <0.2

@hackage/HasCacBDD

Haskell bindings for CacBDD

executable:smcdel (6 dependencies)

@haskell/process

Process libraries

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/ansi-terminal

Simple ANSI terminal support

executable:smcdel-web (8 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/template-haskell

Support library for Template Haskell

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp

@hackage/js-jquery

Obtain minified jQuery code

MIT>=3

@hackage/file-embed

Use Template Haskell to embed file contents directly.

GPL-2.0-only>=0.1.0.1 && <0.2

@hackage/HasCacBDD

Haskell bindings for CacBDD

test:examples (4 dependencies)

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/hspec

A Testing Framework for Haskell

MIT

@hackage/QuickCheck

Automatic testing of Haskell programs

test:k (4 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/hspec

A Testing Framework for Haskell

MIT

test:translations (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/hspec

A Testing Framework for Haskell

MIT

benchmark:bench-diningcrypto (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/time

A time library

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

benchmark:bench-muddychildren (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/criterion

Robust, reliable performance measurement and analysis

benchmark:bench-sumandproduct (4 dependencies)

@haskell/base

Core data structures and operations

@hackage/time

A time library

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/criterion

Robust, reliable performance measurement and analysis