gentoo.mahdi.cz
sci-mathematics
:cudd
Colorado University binary Decision Diagram library
https://davidkebo.com/cudd/
cudd-3.0.0
BSD
download
~amd64 ~x86
gentoo