diff --git a/stormpy/lib/stormpy/__init__.py b/stormpy/lib/stormpy/__init__.py index b959014b9..abe483980 100644 --- a/stormpy/lib/stormpy/__init__.py +++ b/stormpy/lib/stormpy/__init__.py @@ -1,3 +1,35 @@ +""" +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 *