@hackage / abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification

Latest0.15

Dependencies

library:abcBridge (6 dependencies)

@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause
@hackage / base-compat A compatibility layer for base
- Version: >=0.6.0
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / aig And-inverter graphs in Haskell.
- Version: >=0.2.3
- License: BSD-3-Clause

executable:find-segfault (13 dependencies)

executable:long-test (3 dependencies)

test:abc-test (11 dependencies)