Add bitwuzla

Nixpkgs currently contains bitwuzla-unstable-2021-07-01, so add it here. This will likely be useful for things like GaloisInc/what4#124.
GaloisInc · Jan 24, 2022 · 0c2fc1e · 0c2fc1e
1 parent 3c65c8d
commit 0c2fc1e
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -22,6 +22,10 @@
       url = "github:berkeley-abc/abc/48498af";
       flake = false;
     };
+    bitwuzla_unstable_2021_07_01 = {
+      url = "github:bitwuzla/bitwuzla/58d720598e359b1fdfec4a469c76f1d1f24db51a";
+      flake = false;
+    };
     boolector_src_3_2_2 = {
       url = "github:boolector/boolector/3.2.2";
       flake = false;
@@ -127,6 +131,7 @@
               inherit version;
               src = inps."${"abc_src_" + version}";
             });
+          mkBitwuzla = mkVerPkg "bitwuzla";
           mkBoolector = mkVerPkg "boolector";
           mkCVC4 = mkVerPkg "cvc4";
           mkYices = mkVerPkg "yices";
@@ -167,6 +172,9 @@
             v4_1_8   = mkCVC4 "1.8";
             v4_1_7   = mkCVC4 "1.7";
           };
+          bitwuzla = pkgs.bitwuzla // { # whatever the nixpkgs current version is...
+            vunstable_2021_07_01 = mkBitwuzla "unstable-2021-07-01";
+          };
           boolector = pkgs.boolector // { # whatever the nixpkgs current version is...
             v3_2   = mkBoolector "3.2.2";
             v3_1   = mkBoolector "3.1.0";