From af60db2c38338876dc11b896cbcd169714b7b0ce Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 10 Oct 2017 15:53:56 +0200
Subject: [PATCH] work towards symbolic rational search

---
 src/storm/solver/SolverStatus.cpp |  8 ++++++++
 src/storm/solver/SolverStatus.h   | 13 +++++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 src/storm/solver/SolverStatus.cpp
 create mode 100644 src/storm/solver/SolverStatus.h

diff --git a/src/storm/solver/SolverStatus.cpp b/src/storm/solver/SolverStatus.cpp
new file mode 100644
index 000000000..49c2e0f52
--- /dev/null
+++ b/src/storm/solver/SolverStatus.cpp
@@ -0,0 +1,8 @@
+//
+//  SolverStatus.cpp
+//  storm
+//
+//  Created by Christian Dehnert on 10.10.17.
+//
+
+#include "SolverStatus.hpp"
diff --git a/src/storm/solver/SolverStatus.h b/src/storm/solver/SolverStatus.h
new file mode 100644
index 000000000..cd346dd53
--- /dev/null
+++ b/src/storm/solver/SolverStatus.h
@@ -0,0 +1,13 @@
+//
+//  SolverStatus.hpp
+//  storm
+//
+//  Created by Christian Dehnert on 10.10.17.
+//
+
+#ifndef SolverStatus_hpp
+#define SolverStatus_hpp
+
+#include <stdio.h>
+
+#endif /* SolverStatus_hpp */