tag:joss.theoj.org,2005:/papers/tagged/binary%20decision%20diagramJournal of Open Source Software2019-02-11T23:18:45ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/8132019-02-11T23:18:45Z2021-02-15T11:32:39ZThe Biddy BDD packageacceptedv1.8.22019-01-15 09:37:54 UTC342019-02-11 23:18:45 UTC420191189RobertMeolicFaculty of Electrical Engineering and Computer Science, University of Maribor0000-0003-3395-122710.21105/joss.01189https://doi.org/10.5281/zenodo.2561641C, Tcl, C++, HyPhyhttps://joss.theoj.org/papers/10.21105/joss.01189.pdfBoolean algebra, unate cube set algebra, binary decision diagram, zero-suppressed binary decision diagram, formal methods, free software