nixpkgs / cudd - Binary Decision Diagram (BDD) library

Homepage - https://davidkebo.com/cudd

License - BSD-3-Clause

Maintainers - Daniel Cartwright

Outputs

out (expand/collapse)

Releases

3.0.0 (expand/collapse)
From commit 057383bb to 00460bd6