feat: add bv_bitwuzla (#668)

... this will allow us to experiment with bitwuzla
opencompl · Sep 29, 2024 · 251fb9b · 251fb9b
1 parent 76fb132
commit 251fb9b
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -120,6 +120,16 @@
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
    "inherited": false,
+   "configFile": "lakefile.lean"},
+  {"url": "https://github.com/hargoniX/Leanwuzla.git",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "bcab3f80d6a44728656e041d56f1dd45dff0456c",
+   "name": "leanwuzla",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "SSA",
  "lakeDir": ".lake"}
diff --git a/lakefile.toml b/lakefile.toml
@@ -16,6 +16,11 @@ name = "doc-gen4"
 git = "https://github.com/leanprover/doc-gen4"
 rev = "main"
 
+[[require]]
+name = "leanwuzla"
+git = "https://github.com/hargoniX/Leanwuzla.git"
+rev = "main"
+
 [[lean_lib]]
 name = "SSA"