From 3396141e13d61ecbee7e200f2a8360cf65ab71fd Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 3 Jan 2017 11:06:02 +0100
Subject: [PATCH] updated installation docu

---
 doc/source/installation.rst | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/doc/source/installation.rst b/doc/source/installation.rst
index bbdb0e1..74a69ac 100644
--- a/doc/source/installation.rst
+++ b/doc/source/installation.rst
@@ -1,7 +1,18 @@
 Installation
 ***********************
 
-Before installing stormpy, make sure `storm <https://moves-rwth.github.io/storm/>`_ is installed.
+Requirements
+
+Before installing stormpy, make sure 
+
+`pycarl <https://moves-rwth.github.io/pycarl>`_ 
+`storm <https://moves-rwth.github.io/storm/>`_ 
+
+are both available on your system. To avoid issues, we suggest that both use the same version of `carl <https://smtrat.github.io/carl>`_. 
+The simplest way of ensuring this is to first install carl as explained in the `storm installation guide <https://moves-rwth.github.io/storm/documentation/installation.md#carl>_'.
+You can then install storm and pycarl independently.
+
+
 
 Clone stormpy into any suitable location::