From 86dfe8abf06565ff0180db11e2a9be5aa68b3367 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Thu, 16 Apr 2020 13:22:25 -0700
Subject: [PATCH] init file to allow easier loading of pomdp library

---
 lib/stormpy/pomdp/__init__.py | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 lib/stormpy/pomdp/__init__.py

diff --git a/lib/stormpy/pomdp/__init__.py b/lib/stormpy/pomdp/__init__.py
new file mode 100644
index 0000000..a3d0e4a
--- /dev/null
+++ b/lib/stormpy/pomdp/__init__.py
@@ -0,0 +1,3 @@
+from . import pomdp
+from .pomdp import *
+