diff options
Diffstat (limited to 'var')
-rw-r--r-- | var/spack/repos/builtin/packages/cudd/package.py | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/var/spack/repos/builtin/packages/cudd/package.py b/var/spack/repos/builtin/packages/cudd/package.py new file mode 100644 index 0000000000..bab61860bb --- /dev/null +++ b/var/spack/repos/builtin/packages/cudd/package.py @@ -0,0 +1,21 @@ +# Copyright 2013-2023 Lawrence Livermore National Security, LLC and other +# Spack Project Developers. See the top-level COPYRIGHT file for details. +# +# SPDX-License-Identifier: (Apache-2.0 OR MIT) + +from spack.package import * + + +class Cudd(AutotoolsPackage): + """ + The CUDD package is a package written in C for the manipulation of + decision diagrams. It supports binary decision diagrams (BDDs), + algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs). + """ + + homepage = "https://cudd-mirror.sourceforge.io" + url = "https://sourceforge.net/projects/cudd-mirror/files/cudd-3.0.0.tar.gz" + + maintainers("davekeeshan") + + version("3.0.0", sha256="b8e966b4562c96a03e7fbea239729587d7b395d53cadcc39a7203b49cf7eeb69") |