Currently exclude smtrat- does not compile with current version.

Former-commit-id: cbafb48242

src/solver/SmtratSmtSolver.cpp

@@ -4,6 +4,8 @@
 #include "src/exceptions/InvalidStateException.h"
 
 #ifdef STORM_HAVE_SMTRAT
+
+#ifdef SMTRATDOESNTWORK // Does not compile with current version of smtrat.
 #include "lib/smtrat.h"
 
 namespace storm {
@@ -85,4 +87,5 @@ namespace storm {
 
         }
 }
+#endif
 #endif

src/solver/SmtratSmtSolver.h

@@ -4,6 +4,8 @@
 #include "src/solver/SmtSolver.h"
 
 #ifdef STORM_HAVE_SMTRAT
+#ifdef SMTRATDOESNTWORK // Does not compile with current version of smtrat.
+
 #include "lib/smtrat.h"
 #include "../adapters/carlAdapter.h"
 
@@ -45,5 +47,6 @@ namespace storm {
 	}
 }
 #endif
+#endif
 
 #endif // STORM_SOLVER_SMTRATSMTSOLVER