From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 25 Jul 2018 16:40:22 +0000 (-0700)
Subject: Use CryptoMiniSat 5.6.3. (#2205)
X-Git-Tag: cvc5-1.0.0~4869
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ca0addb06d35ebb5b56f8faba9dcc977db1b2283;p=cvc5.git

Use CryptoMiniSat 5.6.3. (#2205)
---

diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat
index a7a15520c..ff4bff81c 100755
--- a/contrib/get-cryptominisat
+++ b/contrib/get-cryptominisat
@@ -7,7 +7,7 @@ if [ -e cryptominisat5 ]; then
   exit 1
 fi
 
-version="5.0.2"
+version="5.6.3"
 
 mkdir cryptominisat5
 cd cryptominisat5