diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index fe6c277d39954655f1bbd458b676e2c4de60cb73..0000000000000000000000000000000000000000
--- a/.travis.yml
+++ /dev/null
@@ -1,40 +0,0 @@
-language: scala
-
-scala:
-    - 2.11.7
-
-jdk:
-    - oraclejdk7
-
-sudo: false
-
-branches:
-    only:
-        - master
-
-notifications:
-    email:
-        - leon-dev@googlegroups.com
-
-before_script:
-    - sbt compile
-    - sbt script
-    - source travis/fetchCVC4.sh
-
-env:
-    matrix:
-        - TEST_COMMAND="test"
-        - TEST_COMMAND="integration:test"
-        - TEST_COMMAND="regression:test"
-
-script:
-    - sbt ++$TRAVIS_SCALA_VERSION "$TEST_COMMAND"
-
-    # Tricks to avoid unnecessary cache updates
-    - find $HOME/.sbt -name "*.lock" | xargs rm
-    - find $HOME/.ivy2 -name "ivydata-*.properties" | xargs rm
-
-cache:
-    directories:
-        - $HOME/.ivy2/cache
-        - $HOME/.sbt/boot/