From a7d8e6e1f4e88b3b8eab6e81a61dfc2c1610835f Mon Sep 17 00:00:00 2001 From: Mavo Date: Mon, 23 May 2016 13:52:47 +0200 Subject: [PATCH] Help for stormpy... Former-commit-id: 2bcdb635f32f106daf61997bef61a284e2484130 --- stormpy/lib/stormpy/__init__.py | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) 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 *