@hackage smcdel dependencies

@haskell/process

Process libraries

@haskell/directory

Platform-agnostic library for filesystem operations

@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.3 && <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 (10 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/template-haskell

Support library for Template Haskell

@haskell/deepseq

Deep evaluation of data structures

@haskell/base

Core data structures and operations

@hackage/warp

A fast, light-weight web server for WAI applications.

@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 (5 dependencies)

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/hspec

A Testing Framework for Haskell

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/HasCacBDD

Haskell bindings for CacBDD

test:k (5 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

@hackage/QuickCheck

Automatic testing of Haskell programs

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

test:web (6 dependencies)

@haskell/text

An efficient packed Unicode text type.

@haskell/process

Process libraries

@haskell/base

Core data structures and operations

@hackage/webdriver

a Haskell client for the Selenium WebDriver protocol

@hackage/sandwich-webdriver

Sandwich integration with Selenium WebDriver

@hackage/sandwich

Yet another test framework for Haskell

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 (9 dependencies)

@haskell/vector

Efficient Arrays

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

@hackage/split

Combinator library for splitting lists.

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

@hackage/scientific

Numbers represented using scientific notation

@hackage/criterion

Robust, reliable performance measurement and analysis

@hackage/cassava

A CSV parsing and encoding library

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