diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py
index 3dee81d..7b9013a 100644
--- a/lib/stormpy/__init__.py
+++ b/lib/stormpy/__init__.py
@@ -1,39 +1,8 @@
-"""
-It looks like you want to know about 'stormpy'.
-
-                        _.-;:q=._ 
-                      .' j=""^k;:\. 
-                     ; .F       ";`Y
-                    ,;.J_        ;'j
-                  ,-;"^7F       : .F           _________________
-                 ,-'-_<.        ;gj. _.,---""''               .'
-                ;  _,._`\.     : `T"5,                       ; 
-                : `?8w7 `J  ,-'" -^q. `                     ;  
-                 \;._ _,=' ;   n58L Y.                     .' 
-                   F;";  .' k_ `^'  j'                     ;  
-                   J;:: ;     "y:-='                      ;   
-                    L;;==      |:;   jT\                  ;
-                    L;:;J      J:L  7:;'       _         ; 
-                    I;|:.L     |:k J:.' ,  '       .     ;
-                    |;J:.|     ;.I F.:      .           : 
-                   ;J;:L::     |.| |.J  , '   `    ;    ; 
-                 .' J:`J.`.    :.J |. L .    ;         ; 
-                ;    L :k:`._ ,',j J; |  ` ,        ; ; 
-              .'     I :`=.:."_".'  L J             `.'
-            .'       |.:  `"-=-'    |.J              ; 
-        _.-'         `: :           ;:;           _ ; 
-    _.-'"             J: :         /.;'       ;    ; 
-  ='_                  k;.\.    _.;:Y'     ,     .' 
-     `"---..__          `Y;."-=';:='     ,      .'
-              `""--..__   `"==="'    -        .' 
-                       ``""---...__    itz .-' 
-                                   ``""---'
-"""
-
 from . import core
 from .core import *
 from . import storage
 from .storage import *
+from .version import __version__
 
 core.set_up("")
 
diff --git a/lib/stormpy/version.py b/lib/stormpy/version.py
new file mode 100644
index 0000000..d69d16e
--- /dev/null
+++ b/lib/stormpy/version.py
@@ -0,0 +1 @@
+__version__ = "0.9.1"