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

@article{Meolic2019, doi = {10.21105/joss.01189}, url = {https://doi.org/10.21105/joss.01189}, year = {2019}, publisher = {The Open Journal}, volume = {4}, number = {34}, pages = {1189}, author = {Robert Meolic}, title = {The Biddy BDD package}, journal = {Journal of Open Source Software} }
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

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