The Biddy BDD package

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

Editor: @brainstorm (all papers)
Reviewers: @HaoZeke (all reviews)

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 citation string · Copy BibTeX  
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