From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 26 May 2020 01:56:39 +0000 (-0700)
Subject: Update to CaDiCaL version 1.2.1. (#4530)
X-Git-Tag: cvc5-1.0.0~3290
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dbba8bce14b23c7bb2f3b08cbbbf441054386ee5;p=cvc5.git

Update to CaDiCaL version 1.2.1. (#4530)
---

diff --git a/contrib/get-cadical b/contrib/get-cadical
index 8c512ad28..a253514e8 100755
--- a/contrib/get-cadical
+++ b/contrib/get-cadical
@@ -3,7 +3,7 @@
 source "$(dirname "$0")/get-script-header.sh"
 
 CADICAL_DIR="$DEPS_DIR/cadical"
-version="rel-1.0.3"
+version="rel-1.2.1"
 
 check_dep_dir "$CADICAL_DIR"
 setup_dep \