@hackage smcdel dependencies

BSD-3-Clause>=0.5.4 && <0.6

@haskell/array

Mutable and immutable arrays

@hackage/time

A time library

BSD-2-Clause>=1.12.2 && <1.13

@hackage/tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

BSD-3-Clause>=0.8.0 && <0.9

@hackage/graphviz

Bindings to Graphviz for graph visualisation.

BSD-3-Clause>=2999.20.2 && <2999.21

@hackage/decision-diagrams

Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)

BSD-3-Clause>=0.2.0 && <0.3

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.14.3 && <2.15

@hackage/HasCacBDD

Haskell bindings for CacBDD

GPL-2.0-only>=0.2.0.0 && <0.3

executable:smcdel (6 dependencies)

@haskell/process

Process libraries

BSD-3-Clause>=1.6.18 && <1.7

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.4.2 && <1.5

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3.7 && <1.4

@haskell/base

Core data structures and operations

@hackage/smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

BSD-3-Clause>=0.11.5 && <1.2

@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

BSD-3-Clause>=0.11.0 && <0.20

@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.2.0.0 && <0.3

@hackage/HasCacBDD

Haskell bindings for CacBDD

test:CUDD (6 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

@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

benchmark:sizes-diningcryptographers (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:sizes-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:sizes-sumandproduct (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