Rudd is a Binary Decision Diagram (BDD) library written in pure Go.
Primary LanguageGoMIT LicenseMIT
No issues in this repository yet.