diff --git a/.travis.yml b/.travis.yml
index 52d548e3de2..897bb921fa5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -240,7 +240,7 @@ jobs:
             name: "diffblue/cbmc"
             description: "Travis build of ${TRAVIS_COMMIT}"
           notification_email: "coverity-scan@diffblue.com"
-          build_command_prepend: "make -C src minisat2-download"
+          build_command_prepend: "make -C src glucose-download"
           build_command: "make -C src -j2"
           branch_pattern: "develop"
       before_install:
@@ -266,7 +266,7 @@ jobs:
 install:
   - ccache -z
   - ccache --max-size=1G
-  - make -C src minisat2-download
+  - make -C src glucose-download
   - make -C src/ansi-c library_check
   - make -C src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3
   - make -C src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3 clobber.dir memory-models.dir
diff --git a/src/config.inc b/src/config.inc
index 93b44e39a50..667bb673424 100644
--- a/src/config.inc
+++ b/src/config.inc
@@ -24,7 +24,7 @@ endif
 #MINISAT = ../../MiniSat-p_v1.14
 #MINISAT2 = ../../minisat-2.2.1
 #IPASIR = ../../ipasir
-#GLUCOSE = ../../glucose-syrup
+GLUCOSE = ../../glucose-syrup
 #SMVSAT =
 
 # Extra library for SAT solver. This should link to the archive file to be used