cudd: Bindings to the CUDD binary decision diagrams library

[ bsd3, data, library ] [ Propose Tags ]

Bindings to the CUDD binary decision diagrams library.

http://vlsi.colorado.edu/~fabio/CUDD/

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.3.1, 0.1.0.4
Dependencies array (>=0.4 && <0.6), base (>=4.6 && <4.8), mtl (>=2.1 && <2.3), transformers (>=0.3 && <0.5) [details]
License BSD-3-Clause
Copyright 2014 Adam Walker
Author Adam Walker
Maintainer adamwalker10@gmail.com
Category Data
Home page https://github.com/adamwalker/haskell_cudd
Bug tracker https://github.com/adamwalker/haskell_cudd/issues
Uploaded by adamwalker at 2015-01-02T05:16:24Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 4731 total (18 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2015-01-02 [all 1 reports]