diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index e02432868da5..9c61909a9227 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -13534,6 +13534,10 @@ with pkgs;
     ocamlPackages = ocaml-ng.ocamlPackages_4_12;
   };
 
+  bitwuzla = callPackage ../by-name/bi/bitwuzla/package.nix {
+    cadical = cadical.override { version = "2.1.3"; };
+  };
+
   inherit
     (callPackage ./rocq-packages.nix {
       inherit (ocaml-ng)