8|sci-mathematics/cudd|cudd-3.0.0.ebuild|BSD|sci@gentoo.org