Manetion DReal and OpenSMT in the INSTALL file

LeventErkok · Dec 30, 2023 · cc9c53f · cc9c53f
1 parent 8144683
commit cc9c53f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/INSTALL b/INSTALL
@@ -4,7 +4,7 @@ like this:
      cabal install sbv
 
 SBV relies on an external SMT solver to be installed. We currently support
-ABC, Boolector, Bitwuzla, CVC4, CVC5, MathSAT, Yices, and Z3. We recommend installing the
+ABC, Boolector, Bitwuzla, CVC4, CVC5, DReal, MathSAT, OpenSMT, Yices, and Z3. We recommend installing the
 freely available z3 SMT solver from Microsoft, the default solver used
 by SBV. You can get it from <http://github.com/Z3Prover/z3>.