zhangyiss/spack
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cudd: add new package (#41476)

Browse Source
This commit is contained in:
Dave Keeshan 2023-12-07 08:37:22 +00:00 committed by GitHub
parent 7d45e132a6
commit 57f46f0375
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
var/spack/repos/builtin/packages/cudd/package.py Normal file
View File

@ -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")