ocamlPackages.bitwuzla-cxx: init at 0.6.1

Author: vbgl

pkgs/development/ocaml-modules/bitwuzla-cxx/default.nix

@@ -0,0 +1,32 @@
+{
+  lib,
+  buildDunePackage,
+  fetchurl,
+  zarith,
+}:
+
+let
+  version = "0.6.1";
+in
+
+buildDunePackage {
+  pname = "bitwuzla-cxx";
+  inherit version;
+
+  minimalOCamlVersion = "4.12";
+
+  src = fetchurl {
+    url = "https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/${version}/bitwuzla-cxx-${version}.tbz";
+    hash = "sha256-QgZy0a4QPVkgiB+lhEw40pE9TeuOOeMowtUb0F+BN6c=";
+  };
+
+  propagatedBuildInputs = [ zarith ];
+
+  meta = {
+    description = "OCaml binding for the SMT solver Bitwuzla C++ API";
+    homepage = "https://bitwuzla.github.io/";
+    changelog = "https://raw.githubusercontent.com/bitwuzla/ocaml-bitwuzla/refs/tags/${version}/CHANGES.md";
+    license = lib.licenses.mit;
+    maintainers = [ lib.maintainers.vbgl ];
+  };
+}

pkgs/top-level/ocaml-packages.nix

@@ -116,6 +116,8 @@ let
 
         bitv = callPackage ../development/ocaml-modules/bitv { };
 
+        bitwuzla-cxx = callPackage ../development/ocaml-modules/bitwuzla-cxx { };
+
         bjack = callPackage ../development/ocaml-modules/bjack {
           inherit (pkgs.darwin.apple_sdk.frameworks) Accelerate CoreAudio;
         };