diff --git a/stormpy/src/core/core.cpp b/stormpy/src/core/core.cpp
index 13a5aab09..031fb5e87 100644
--- a/stormpy/src/core/core.cpp
+++ b/stormpy/src/core/core.cpp
@@ -6,11 +6,21 @@
 
 // Thin wrapper for initializing
 void setupStormLib(std::string const& args) {
-//    storm::utility::setUp();
-//    storm::settings::SettingsManager::manager().setFromString(args);
+    storm::utility::setUp();
+    storm::settings::SettingsManager::manager().setFromString(args);
 }
 
 void define_core(py::module& m) {
     
-    m.def("set_up", &setupStormLib);
+    m.def("set_up", &setupStormLib, "Initialize Storm");
+
+    m.def("parse_formulae", storm::parseFormulasForProgram, "Parse formula for program");
+    m.def("parse_program", storm::parseProgram, "Parse program");
+
+    //m.def("build_model", buildModel, return_value_policy<return_by_value>());
+
+    //m.def("build_model_from_prism_program", storm::buildSymbolicModel<double>);
+    //m.def("build_parametric_model_from_prism_program", storm::buildSymbolicModel<storm::RationalFunction>);
+
+
 }
diff --git a/stormpy/tests/core/test_core.py b/stormpy/tests/core/test_core.py
new file mode 100644
index 000000000..b740213e6
--- /dev/null
+++ b/stormpy/tests/core/test_core.py
@@ -0,0 +1,5 @@
+import stormpy
+
+class TestCore:
+    def test_init(self):
+        stormpy.set_up("")