From ca0addb06d35ebb5b56f8faba9dcc977db1b2283 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 25 Jul 2018 09:40:22 -0700 Subject: [PATCH] Use CryptoMiniSat 5.6.3. (#2205) --- contrib/get-cryptominisat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2