@hackage abcBridge dependencies

17 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

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

@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