add solver variants: bitwuzla-abstraction and cvc5-int-blasting

a16z · Nov 13, 2024 · b1dc7a2 · b1dc7a2
1 parent 883e286
commit b1dc7a2
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/src/jsi/config/solvers.json b/src/jsi/config/solvers.json
@@ -4,7 +4,11 @@
         "model": "--produce-models",
         "args": [],
         "meta": "only supports model generation if smt file includes (get-model)"
-
+    },
+    "bitwuzla-abstraction": {
+        "executable": "bitwuzla",
+        "model": "--produce-models",
+        "args": ["--abstraction"]
     },
     "boolector": {
         "executable": "boolector",
@@ -21,6 +25,11 @@
         "model": "--produce-models",
         "args": []
     },
+    "cvc5-int-blasting": {
+        "executable": "cvc5",
+        "model": "--produce-models",
+        "args": ["--solve-bv-as-int=iand", "--iand-mode=bitwise"]
+    },
     "stp": {
         "executable": "stp",
         "model": "--print-counterex",