@hackage / hBDD-CMUBDD

An FFI binding to CMU/Long's BDD library

Latest0.0.3

Dependencies

library:hBDD-CMUBDD (5 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version:
- License: BSD-3-Clause
@hackage / unix POSIX functionality
- Version:
- License: BSD-3-Clause
@hackage / hBDD An abstraction layer for BDD libraries
- Version: ==0.0.3
- License: LicenseRef-LGPL
@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