nixpkgs / cudd - Binary Decision Diagram (BDD) library

Homepage - https://davidkebo.com/cudd

License - BSD-3-Clause

Maintainers - Daniel Cartwright

Outputs

out (expand/collapse)

• /include/config.h
• /include/cudd.h
• /include/cuddObj.hh
• /include/dddmp.h
• /include/mtr.h
• /include/util.h
• /lib/libcudd.a
• /lib/libcudd.la

Releases

3.0.0 (expand/collapse)

From commit 057383bb to 00460bd6