diff --git a/easybuild/easyconfigs/b/BRiAl/BRiAl-1.2.12-GCC-13.2.0.eb b/easybuild/easyconfigs/b/BRiAl/BRiAl-1.2.12-GCC-13.2.0.eb
index c489c77380f..50bbeea16ee 100644
--- a/easybuild/easyconfigs/b/BRiAl/BRiAl-1.2.12-GCC-13.2.0.eb
+++ b/easybuild/easyconfigs/b/BRiAl/BRiAl-1.2.12-GCC-13.2.0.eb
@@ -15,6 +15,7 @@ checksums = ['ca009e3722dd3f0a60d15501caed1413146c80abced57423e32ae0116f407494']
 dependencies = [
     ('Boost', '1.83.0'),
     ('m4ri', '20200125'),
+    ('CUDD', '3.0.0'),
 ]
 
 configopts = "--with-boost=$EBROOTBOOST "
diff --git a/easybuild/easyconfigs/c/CUDD/CUDD-3.0.0-GCC-13.2.0.eb b/easybuild/easyconfigs/c/CUDD/CUDD-3.0.0-GCC-13.2.0.eb
new file mode 100644
index 00000000000..c1f83cad099
--- /dev/null
+++ b/easybuild/easyconfigs/c/CUDD/CUDD-3.0.0-GCC-13.2.0.eb
@@ -0,0 +1,22 @@
+easyblock = 'ConfigureMake'
+
+name = 'CUDD'
+version = '3.0.0'
+
+homepage = 'https://github.com/ivmai/cudd'
+description = """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)."""
+
+toolchain = {'name': 'GCC', 'version': '13.2.0'}
+
+source_urls = ['https://github.com/ivmai/cudd/archive/refs/tags']
+sources = [SOURCELOWER_TAR_GZ]
+checksums = ['5fe145041c594689e6e7cf4cd623d5f2b7c36261708be8c9a72aed72cf67acce']
+
+sanity_check_paths = {
+    'files': ['include/cudd.h', 'lib/libcudd.a'],
+    'dirs': [],
+}
+
+moduleclass = 'math'