portage://sci-mathematics/cudd (1 version)