package

hBDD

Description

An abstraction layer for BDD libraries.

Description

hackage.haskell.org

hBDD provides a high-level API to the CUDD and CMU Boolean Decision Diagram libraries.

Metadata

Version

0.0.3

License

Unknown

Status

Source

pkgs/development/haskell-modules/hackage-packages.nix:133964

Homepage

https://hackage.haskell.org/package/hBDD

Platforms (75)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all