gentoo.mahdi.cz
sci-libs
:buddy
Binary Decision Diagram Package
https://sourceforge.net/projects/buddy/
buddy-2.4-r1
buddy
download
~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macos
gentoo