Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: 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/.
6 versions
Latest release: over 7 years ago
4,629 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/cudd
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/adamwalker%2Fhaskell_cudd
Dependent Repos 8
jrclogic/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.- ==0.1.0.0 smcdel.cabal
Size: 14.1 MB - Last synced: 20 days ago - Pushed: 20 days ago
jwaldmann/cudd-ersatz
Interface to CUDD in the style of Ersatz- >=0.1.0.4.1 cudd-ersatz.cabal
Size: 25.4 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
adamwalker/syntcomp
Synthesis competition entry- ==0.1.* simplebddsolver.cabal
Size: 47.9 KB - Last synced: 7 months ago - Pushed: almost 5 years ago
termite2/debug
Visual debugger- * debug2.cabal
Size: 337 KB - Last synced: about 2 months ago - Pushed: almost 7 years ago
termite2/hast
Higher-order ASTs- ==0.1.* hast.cabal
Size: 156 KB - Last synced: about 2 months ago - Pushed: over 9 years ago
ramyshahin/ProductLineAnalysis
Some libraries and utilities for Software Product Line (SPL) analysis- * haskell/SPL/SPL.cabal
Size: 128 MB - Last synced: 5 months ago - Pushed: 5 months ago
termite2/synthesis
Termite synthesis engine- ==0.1.* synthesis.cabal
Size: 547 KB - Last synced: about 2 months ago - Pushed: over 9 years ago
m4lvin/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.- ==0.1.0.0 smcdel.cabal
Last synced: 12 months ago
MaximilianAlgehed/Vosh
- ==0.1.* Vosh.cabal
Size: 35.2 KB - Last synced: 10 months ago - Pushed: about 7 years ago