@hackage abcBridge dependencies

16 results

library:abcBridge (4 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

@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/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

BSD-3-Clause

@hackage/test-framework-hunit

HUnit support for the test-framework package.

BSD-3-Clause

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

BSD-3-Clause

@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

@hackage/HUnit

A unit testing framework for Haskell

BSD-3-Clause