Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : cudd
Bindings to version 3.0.0 of the CUDD binary decision diagrams library. http://vlsi.colorado.edu/~fabio/CUDD/ Installation Either install CUDD 3.0.0 using your system's package manager or download and install CUDD from here: http://vlsi.colorado.edu/~fabio/. Then: "cabal install cudd" Depending on where CUDD is installed on your system, you may need to provide --extra-lib-dirs or --extra-include-dirs: "cabal install cudd --extra-lib-dirs=/usr/local/lib" Usage This package provides two interfaces to the CUDD library: A purely functional one in Cudd.Cudd that automatically dereferences BDDs during garbage collection. An ST Monad based one in Cudd.Imperative that gives you precise control over the ordering of BDD operations and when BDDs are dereferenced. Use this one if you want your code to perform well. Also, for a higher level interface in the style of the ersatz SAT encoder, see https://github.com/jwaldmann/cudd-ersatz/.
Registry
-
Source
- JSON
purl: pkg:hackage/cudd
Keywords: bsd3, data, library
License: BSD-3-Clause
Latest release: over 7 years ago
First release: over 9 years ago
Dependent packages: 1
Dependent repositories: 8
Downloads: 4,739 total
Stars: 8 on GitHub
Forks: 10 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 26 days ago