diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-25 09:40:22 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-25 09:40:22 -0700 |
commit | ca0addb06d35ebb5b56f8faba9dcc977db1b2283 (patch) | |
tree | 2019c7c7b306c3b58915f425081f6e97d8e6db86 /contrib | |
parent | 22916321f5c26fdc632df24f3c1fef45beaeb918 (diff) |
Use CryptoMiniSat 5.6.3. (#2205)
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-cryptominisat | 2 |
1 files changed, 1 insertions, 1 deletions
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 |