Merge pull request #443 from pq-code-package/bitwuzla-0.8.2

bitwuzla: update the bitwuzla version from 0.7.0 to 0.8.2 in nix

Author: mkannwischer

flake.nix

@@ -27,7 +27,7 @@
           util = pkgs.callPackage ./nix/util.nix {
             # Keep those around in case we want to switch to unstable versions
             cbmc = pkgs-unstable.cbmc;
-            bitwuzla = pkgs.bitwuzla;
+            bitwuzla = pkgs-unstable.bitwuzla;
             z3 = pkgs.z3;
           };
           zigWrapCC = zig: pkgs.symlinkJoin {
@@ -151,7 +151,7 @@
             util = pkgs.callPackage ./nix/util.nix {
               inherit pkgs;
               cbmc = pkgs-unstable.cbmc;
-              bitwuzla = pkgs.bitwuzla;
+              bitwuzla = pkgs-unstable.bitwuzla;
               z3 = pkgs.z3;
             };
           in

nix/cbmc/default.nix

@@ -62,7 +62,7 @@ buildEnv {
 
       inherit
         cadical#2.1.3
-        bitwuzla# 0.7.0
+        bitwuzla# 0.8.2
         ninja; # 1.12.1
     };
 }