diff --git a/.travis.yml b/.travis.yml
index f063114..933d299 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,6 +4,14 @@ services:
 
 install: true
 
+addons:
+  apt:
+    sources:
+      - mysql-5.7-trusty
+    packages:
+      - mysql-server
+      - mysql-client
+
 before_install:
   - chmod +x pandamonium-theorem-prover/gradlew
   - cd pandamonium-theorem-prover