Update readme

JonathanSalwan · Aug 16, 2023 · 4207f07 · 4207f07
1 parent 05428e4
commit 4207f07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -101,7 +101,7 @@ Triton relies on the following dependencies:
 * libboost      (optional)   >= 1.68
 * libpython     (optional)   >= 3.6
 * libz3         (optional)   >= 4.6.0   https://github.com/Z3Prover/z3
-* libbitwuzla   (optional)   >= 1.x     https://github.com/bitwuzla/bitwuzla
+* libbitwuzla   (optional)   >= 0.1.x   https://github.com/bitwuzla/bitwuzla
 * llvm          (optional)   >= 12
 ```