Editor: @brainstorm (all papers)
Reviewers: @HaoZeke (all reviews)
Robert Meolic (0000-0003-3395-1227)
Meolic, (2019). The Biddy BDD package. Journal of Open Source Software, 4(34), 1189, https://doi.org/10.21105/joss.01189
Boolean algebra unate cube set algebra binary decision diagram zero-suppressed binary decision diagram formal methods free software
Authors of JOSS papers retain copyright.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Journal of Open Source Software is an affiliate of the Open Source Inititative.
Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.
Public user content licensed CC BY 4.0 unless otherwise specified.