Support for interval-based transitions in storm (#409)

Support interval-based models Support import/export to DRN Added Robust VI for MinMaxLinearSolver Various changes that allow doubles as result whereas the model consists of intervals.
moves-rwth · Dec 21, 2023 · d7bc9e7 · d7bc9e7
1 parent de718be
commit d7bc9e7
Show file tree

Hide file tree

Showing 95 changed files with 6,906 additions and 1,577 deletions.
diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
@@ -294,7 +294,7 @@ include(${STORM_3RDPARTY_SOURCE_DIR}/include_cudd.cmake)
 #############################################################
 
 set(STORM_HAVE_CARL OFF)
-set(CARL_MINVERSION "14.23")
+set(CARL_MINVERSION "14.26")
 set(CARL_C14VERSION "14")
 if (NOT STORM_FORCE_SHIPPED_CARL)
     if (NOT "${STORM_CARL_DIR_HINT}" STREQUAL "")