diff options
| author | Dave Keeshan <96727608+davekeeshan@users.noreply.github.com> | 2023-12-07 08:37:22 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-07 09:37:22 +0100 |
| commit | 57f46f0375625426245b7c6f2c3439b4688d2e3c (patch) | |
| tree | 2d55924ab414183d90ab42d3ee2e062467685560 /var/spack/repos/builtin/packages/cudd/package.py | |
| parent | 7d45e132a669c54cc591fd2c019936c65868358d (diff) | |
| download | spack-57f46f0375625426245b7c6f2c3439b4688d2e3c.tar.gz spack-57f46f0375625426245b7c6f2c3439b4688d2e3c.tar.bz2 spack-57f46f0375625426245b7c6f2c3439b4688d2e3c.tar.xz spack-57f46f0375625426245b7c6f2c3439b4688d2e3c.zip | |
cudd: add new package (#41476)
Diffstat (limited to 'var/spack/repos/builtin/packages/cudd/package.py')
| -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") |