Return the Storm directory which is used by stormpy.
If a preexisting installation of Storm was used, then the path to this directory is returned.
If Storm was installed during the installation process, value None is returned.
- Returns:
Storm directory.