@hackage abcBridge dependencies

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/base-compat

A compatibility layer for base

@hackage/aig

And-inverter graphs in Haskell.

BSD-3-Clause>=0.2.3

executable:find-segfault (13 dependencies)

@haskell/vector

Efficient Arrays

@haskell/unix

POSIX functionality

BSD-3-Clause>=2.7

@haskell/random

Pseudo-random number generation

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/base

Core data structures and operations

@hackage/tf-random

High-quality splittable pseudorandom number generator

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/base-compat

A compatibility layer for base

@hackage/aig

And-inverter graphs in Haskell.

@hackage/abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.7

executable:long-test (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/base-compat

A compatibility layer for base

@hackage/abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification

test:abc-test (11 dependencies)

@haskell/vector

Efficient Arrays

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/base

Core data structures and operations

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.8.1

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/tasty-ant-xml

Render tasty output to XML for Jenkins

@hackage/tasty

Modern and extensible testing framework

@hackage/base-compat

A compatibility layer for base

@hackage/aig

And-inverter graphs in Haskell.

@hackage/abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification