Update bitwuzla command-line parameters

LeventErkok · Nov 29, 2023 · 5913478 · 5913478
1 parent 4dbe653
commit 5913478
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Data/SBV/Provers/Bitwuzla.hs b/Data/SBV/Provers/Bitwuzla.hs
@@ -24,7 +24,7 @@ bitwuzla = SMTSolver {
            name         = Bitwuzla
          , executable   = "bitwuzla"
          , preprocess   = id
-         , options      = const ["--smt2", "-m", "--output-format=smt2", "--no-exit-codes", "--incremental"]
+         , options      = const ["--produce-models"]
          , engine       = standardEngine "SBV_BITWUZLA" "SBV_BITWUZLA_OPTIONS"
          , capabilities = SolverCapabilities {
                                 supportsQuantifiers        = False

diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
@@ -10,7 +10,7 @@ report any issues you might see with newer releases.
       * Version 3.2.2
   * Bitwuzla:
       * https://bitwuzla.github.io
-      * Version 1.0-prerelease
+      * Version 0.2.0-dev, downloaded Nov 29, 2023
   * CVC4:
       * https://github.com/CVC4/CVC4
       * Version installed via `brew tap cvc4/cvc4; brew rm cvc4; brew install cvc4/cvc4/cvc4 --HEAD`