diff --git a/setup.py b/setup.py
index 74fd4f9..12694be 100755
--- a/setup.py
+++ b/setup.py
@@ -118,5 +118,6 @@ setup(
                  ],
     cmdclass={'build_ext': CMakeBuild, 'test': PyTest},
     zip_safe=False,
+    install_requires=['pycarl>=1.2.0'],
     tests_require=['pytest'],
 )