@hackage abcBridge dependencies

29 results

library:abcBridge (5 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/containers

Assorted concrete container types

BSD-3-Clause

@haskell/base

Core data structures and operations

BSD-3-Clause>=4

@hackage/aig

And-inverter graphs in Haskell.

BSD-3-Clause>=0.2.1

executable:find-segfault (12 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/unix

POSIX functionality

BSD-3-Clause>=2.7

@haskell/random

Pseudo-random number generation

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@hackage/tf-random

High-quality splittable pseudorandom number generator

BSD-3-Clause

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/aig

And-inverter graphs in Haskell.

BSD-3-Clause

@hackage/abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.7

executable:long-test (2 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification

BSD-3-Clause

test:abc-test (10 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause

@haskell/base

Core data structures and operations

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

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

MIT>=0.8.1

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT

@hackage/tasty-ant-xml

Render tasty output to XML for Jenkins

BSD-3-Clause

@hackage/tasty

Modern and extensible testing framework

MIT

@hackage/aig

And-inverter graphs in Haskell.

BSD-3-Clause

@hackage/abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification

BSD-3-Clause

@hackage/QuickCheck

Automatic testing of Haskell programs

BSD-3-Clause>=2.7