From cc9c53f3dea81cfee4277310e8d78767e2f17193 Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Fri, 29 Dec 2023 18:52:30 -0800
Subject: [PATCH] Manetion DReal and OpenSMT in the INSTALL file

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index fbe735113..997d16df1 100644
--- 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>.