From 4bc07c7cd2d60d35a7472ed09670b9475dd4bcff Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 14 Dec 2016 00:33:28 +0100 Subject: [PATCH] first version set in code --- lib/stormpy/__init__.py | 33 +-------------------------------- lib/stormpy/version.py | 1 + 2 files changed, 2 insertions(+), 32 deletions(-) create mode 100644 lib/stormpy/version.py 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"