projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2291632)
Use CryptoMiniSat 5.6.3. (#2205)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 25 Jul 2018 16:40:22 +0000 (09:40 -0700)
committerGitHub <noreply@github.com>
Wed, 25 Jul 2018 16:40:22 +0000 (09:40 -0700)
contrib/get-cryptominisat patch | blob | history

diff --git a/contrib/get-cryptominisat b/contrib/get-cryptominisat
index a7a15520c8d8c05f3eb85b77b3e2876e3cab2027..ff4bff81ce3ee4713c27eccd81a4bfa11834bf33 100755 (executable)
--- 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