diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..732c23c
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,15 @@
+language: python
+dist: trusty
+sudo: false
+python:
+- "2.7"
+install:
+- apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev
+- cd deepstate
+- mkdir build
+- cd build
+- cmake ..
+- make
+- make install
+script:
+- deepstate-manticore examples/IntegerArithmetic