From 57f46f0375625426245b7c6f2c3439b4688d2e3c Mon Sep 17 00:00:00 2001
From: Dave Keeshan <96727608+davekeeshan@users.noreply.github.com>
Date: Thu, 7 Dec 2023 08:37:22 +0000
Subject: cudd: add new package (#41476)

---
 var/spack/repos/builtin/packages/cudd/package.py | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 var/spack/repos/builtin/packages/cudd/package.py

(limited to 'var')

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")
-- 
cgit v1.2.3-60-g2f50