work towards symbolic rational search

7 years ago · af60db2c38
2 changed files with 21 additions and 0 deletions
--- a/src/storm/solver/SolverStatus.cpp
+++ b/src/storm/solver/SolverStatus.cpp
@ -0,0 +1,8 @@
+//
+//  SolverStatus.cpp
+//  storm
+//
+//  Created by Christian Dehnert on 10.10.17.
+//
+
+#include "SolverStatus.hpp"
--- a/src/storm/solver/SolverStatus.h
+++ 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 */