Software repository
Paper review
Download paper
Software archive
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}
}
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.
