The Biddy BDD package

C Tcl C++ HyPhy Submitted 15 January 2019Accepted 11 February 2019
Review

Editor: @brainstorm
Reviewers: @HaoZeke

Authors

Robert Meolic (0000-0003-3395-1227)

Citation

Meolic, (2019). The Biddy BDD package. Journal of Open Source Software, 4(34), 1189, https://doi.org/10.21105/joss.01189
Copy BibTeX entry »

Tags

Boolean algebra unate cube set algebra binary decision diagram zero-suppressed binary decision diagram formal methods free software

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066