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 Initiative.
Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.
Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066