diff --git a/pkgs/development/ocaml-modules/cudd/default.nix b/pkgs/development/ocaml-modules/cudd/default.nix
new file mode 100644
index 000000000000..3d1c284aea9f
--- /dev/null
+++ b/pkgs/development/ocaml-modules/cudd/default.nix
@@ -0,0 +1,37 @@
+{
+  lib,
+  buildDunePackage,
+  fetchFromGitLab,
+  fetchurl,
+}:
+
+let
+  cuddTarball = fetchurl {
+    url = "https://github.com/ivmai/cudd/archive/refs/tags/cudd-3.0.0.tar.gz";
+    hash = "sha256-X+FFBBxZRonm589M1iPV8rfDYmFwi+jJpyrtcs9nrM4=";
+  };
+in
+
+buildDunePackage (finalAttrs: {
+  pname = "cudd";
+  version = "0.1.3";
+
+  src = fetchFromGitLab {
+    domain = "git.frama-c.com";
+    owner = "pub/codex";
+    repo = "cudd.ml";
+    tag = finalAttrs.version;
+    hash = "sha256-RLImpj+5fPjZTds+r1q5rGn001QQo2GzOvJQWJlBR64=";
+  };
+
+  postUnpack = ''
+    cp ${cuddTarball} $sourceRoot/cudd/cudd.tar.gz
+  '';
+
+  meta = {
+    description = "Minimal cudd bindings";
+    homepage = "https://git.frama-c.com/pub/codex/cudd.ml";
+    license = lib.licenses.lgpl2Only;
+    maintainers = with lib.maintainers; [ redianthus ];
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 04d368e4c4c4..68fa75a4c84e 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -356,6 +356,8 @@ let
 
         ctypes-foreign = callPackage ../development/ocaml-modules/ctypes/foreign.nix { };
 
+        cudd = callPackage ../development/ocaml-modules/cudd { };
+
         cudf = callPackage ../development/ocaml-modules/cudf { };
 
         curl = callPackage ../development/ocaml-modules/curl { inherit (pkgs) curl; };