nixpkgs / buddy - Binary decision diagram package

Homepage - https://sourceforge.net/projects/buddy/

Releases

2.4 (expand/collapse)
From commit 0686eecf to 00460bd6