stormchecker · volkm · Aug 4, 2026 · Jun 10, 2026 · Aug 4, 2026 · Aug 4, 2026
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -48,6 +48,8 @@ option(STORM_FORCE_POPCNT "Sets whether the popcnt instruction is forced to be u
 MARK_AS_ADVANCED(STORM_FORCE_POPCNT)
 option(STORM_COMPILE_WITH_CCACHE "Compile using CCache [if found]" ON)
 mark_as_advanced(STORM_COMPILE_WITH_CCACHE)
+option(STORM_COMPILE_WITH_PCH "Enable pre-compiled headers" ON)
+mark_as_advanced(STORM_COMPILE_WITH_PCH)
 option(STORM_LOG_DISABLE_DEBUG "Disable log and trace message support" OFF)
 option(STORM_COMPILE_WITH_ADDRESS_SANITIZER "Sets whether to compile with AddressSanitizer enabled" OFF)
 option(STORM_COMPILE_WITH_ALL_SANITIZERS "Sets whether to compile with all sanitizers enabled" OFF)
@@ -308,6 +310,11 @@ endif ()
 ##
 #############################################################
 
+if(NOT STORM_COMPILE_WITH_PCH)
+	set(CMAKE_DISABLE_PRECOMPILE_HEADERS ON)
+	message(STATUS "Storm - Disabling precompiled headers.")
+endif()
+
 # Selection is based on (relatively extensive, but ad-hoc) compilation profiling in late 2023.
 # As changes mean recompilations of the complete code base, we only use std libraries and boost libraries here for now.
 SET(STORM_PRECOMPILED_HEADERS "<any>" "<map>" "<vector>" "<unordered_set>" "<forward_list>"

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -34,6 +34,13 @@ if (STORM_COMPILE_WITH_ADDRESS_SANITIZER)
     add_link_options(-fsanitize=address)
 endif()
 
+# Allow for disabling pre compiled headers
+function(storm_target_precompile_headers target)
+	if(NOT CMAKE_DISABLE_PRECOMPILE_HEADERS)
+		target_precompile_headers(${target} ${ARGN})
+	endif()
+endfunction()
+
 # In release mode, we turn on even more optimizations if we do not have to provide a portable binary.
 if (NOT STORM_PORTABLE AND (NOT APPLE_SILICON OR (STORM_COMPILER_CLANG AND CMAKE_CXX_COMPILER_VERSION VERSION_GREATER_EQUAL 15.0)))
     add_compile_options($<$<CONFIG:RELEASE>:-march=native>)

diff --git a/src/storm-cli-utilities/AutomaticSettings.h b/src/storm-cli-utilities/AutomaticSettings.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/utility/Engine.h"
 
 namespace storm {

diff --git a/src/storm-cli-utilities/CMakeLists.txt b/src/storm-cli-utilities/CMakeLists.txt
@@ -9,7 +9,7 @@ target_sources(storm-cli-utilities
 		${STORM_CLI_UTIL_SOURCES}
 		PUBLIC
 		FILE_SET fs_storm_cli_utilities_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_CLI_UTIL_HEADERS})
-target_precompile_headers(storm-cli-utilities REUSE_FROM storm)
+storm_target_precompile_headers(storm-cli-utilities REUSE_FROM storm)
 set_target_properties(storm-cli-utilities PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 target_link_libraries(storm-cli-utilities PUBLIC storm storm-counterexamples storm-gamebased-ar storm-parsers storm-version-info)
 set_target_properties(storm-cli-utilities PROPERTIES DEFINE_SYMBOL "") # to avoid problems with pch on linux.

diff --git a/src/storm-cli/CMakeLists.txt b/src/storm-cli/CMakeLists.txt
@@ -3,7 +3,7 @@ add_executable(storm-cli ${PROJECT_SOURCE_DIR}/src/storm-cli/storm-cli.cpp)
 target_link_libraries(storm-cli storm storm-cli-utilities)
 set_target_properties(storm-cli PROPERTIES OUTPUT_NAME "storm")
 set_target_properties(storm-cli PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
-target_precompile_headers(storm-cli PRIVATE ${STORM_PRECOMPILED_HEADERS})
+storm_target_precompile_headers(storm-cli PRIVATE ${STORM_PRECOMPILED_HEADERS})
 
 add_dependencies(binaries storm-cli)
 

diff --git a/src/storm-conv-cli/CMakeLists.txt b/src/storm-conv-cli/CMakeLists.txt
@@ -3,7 +3,7 @@ add_executable(storm-conv-cli ${PROJECT_SOURCE_DIR}/src/storm-conv-cli/storm-con
 target_link_libraries(storm-conv-cli storm-conv storm-cli-utilities)
 set_target_properties(storm-conv-cli PROPERTIES OUTPUT_NAME "storm-conv")
 set_target_properties(storm-conv-cli PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
-target_precompile_headers(storm-conv-cli REUSE_FROM storm-cli)
+storm_target_precompile_headers(storm-conv-cli REUSE_FROM storm-cli)
 
 add_dependencies(binaries storm-conv-cli)
 

diff --git a/src/storm-conv/CMakeLists.txt b/src/storm-conv/CMakeLists.txt
@@ -8,7 +8,7 @@ target_sources(storm-conv
         ${STORM_CONV_SOURCES}
         PUBLIC
         FILE_SET fs_storm_conv_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_CONV_HEADERS})
-target_precompile_headers(storm-conv REUSE_FROM storm)
+storm_target_precompile_headers(storm-conv REUSE_FROM storm)
 set_target_properties(storm-conv PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 target_link_libraries(storm-conv PUBLIC storm)
 set_target_properties(storm-conv PROPERTIES DEFINE_SYMBOL "") # to avoid problems with pch on linux.

diff --git a/src/storm-counterexamples/CMakeLists.txt b/src/storm-counterexamples/CMakeLists.txt
@@ -7,7 +7,7 @@ target_sources(storm-counterexamples
         ${STORM_CEX_SOURCES}
         PUBLIC
         FILE_SET fs_storm_cex_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_CEX_HEADERS})
-target_precompile_headers(storm-counterexamples REUSE_FROM storm)
+storm_target_precompile_headers(storm-counterexamples REUSE_FROM storm)
 set_target_properties(storm-counterexamples PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 target_link_libraries(storm-counterexamples PUBLIC storm)
 set_target_properties(storm-counterexamples PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.

diff --git a/src/storm-dft-cli/CMakeLists.txt b/src/storm-dft-cli/CMakeLists.txt
@@ -3,7 +3,7 @@ add_executable(storm-dft-cli ${PROJECT_SOURCE_DIR}/src/storm-dft-cli/storm-dft.c
 target_link_libraries(storm-dft-cli storm-dft storm-cli-utilities)
 set_target_properties(storm-dft-cli PROPERTIES OUTPUT_NAME "storm-dft")
 set_target_properties(storm-dft-cli PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
-target_precompile_headers(storm-dft-cli REUSE_FROM storm-cli)
+storm_target_precompile_headers(storm-dft-cli REUSE_FROM storm-cli)
 
 add_dependencies(binaries storm-dft-cli)
 

diff --git a/src/storm-dft/CMakeLists.txt b/src/storm-dft/CMakeLists.txt
@@ -8,7 +8,7 @@ target_sources(storm-dft
         ${STORM_DFT_SOURCES}
         PUBLIC
         FILE_SET fs_storm_dft_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_DFT_HEADERS})
-target_precompile_headers(storm-dft REUSE_FROM storm)
+storm_target_precompile_headers(storm-dft REUSE_FROM storm)
 set_target_properties(storm-dft PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 target_link_libraries(storm-dft PUBLIC storm storm-gspn storm-conv storm-parsers storm-pars ${STORM_DFT_LINK_LIBRARIES})
 set_target_properties(storm-dft PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.

diff --git a/src/storm-gamebased-ar/CMakeLists.txt b/src/storm-gamebased-ar/CMakeLists.txt
@@ -7,7 +7,7 @@ target_sources(storm-gamebased-ar
 		${STORM_GBAR_SOURCES}
 		PUBLIC
 		FILE_SET fs_storm_gbar_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_GBAR_HEADERS})
-target_precompile_headers(storm-gamebased-ar REUSE_FROM storm)
+storm_target_precompile_headers(storm-gamebased-ar REUSE_FROM storm)
 set_target_properties(storm-gamebased-ar PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 target_link_libraries(storm-gamebased-ar PUBLIC storm)
 set_target_properties(storm-gamebased-ar PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.

diff --git a/src/storm-gspn-cli/CMakeLists.txt b/src/storm-gspn-cli/CMakeLists.txt
@@ -3,7 +3,7 @@ add_executable(storm-gspn-cli ${PROJECT_SOURCE_DIR}/src/storm-gspn-cli/storm-gsp
 target_link_libraries(storm-gspn-cli storm-gspn storm-cli-utilities)
 set_target_properties(storm-gspn-cli PROPERTIES OUTPUT_NAME "storm-gspn")
 set_target_properties(storm-gspn-cli PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
-target_precompile_headers(storm-gspn-cli REUSE_FROM storm-cli)
+storm_target_precompile_headers(storm-gspn-cli REUSE_FROM storm-cli)
 
 add_dependencies(binaries storm-gspn-cli)
 

diff --git a/src/storm-gspn/CMakeLists.txt b/src/storm-gspn/CMakeLists.txt
@@ -7,7 +7,7 @@ target_sources(storm-gspn
 		${STORM_GSPN_SOURCES}
 		PUBLIC
 		FILE_SET fs_storm_gspn_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_GSPN_HEADERS})
-target_precompile_headers(storm-gspn REUSE_FROM storm)
+storm_target_precompile_headers(storm-gspn REUSE_FROM storm)
 set_target_properties(storm-gspn PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 target_link_libraries(storm-gspn PUBLIC storm storm-conv storm-parsers ${STORM_GSPN_LINK_LIBRARIES})
 set_target_properties(storm-gspn PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.

diff --git a/src/storm-gspn/storage/gspn/Place.h b/src/storm-gspn/storage/gspn/Place.h
@@ -1,6 +1,7 @@
 #pragma once
 
 #include <boost/optional.hpp>
+#include <cstdint>
 #include <string>
 
 namespace storm {

diff --git a/src/storm-gspn/storage/gspn/TransitionPartition.h b/src/storm-gspn/storage/gspn/TransitionPartition.h
@@ -1,4 +1,5 @@
 #pragma once
+#include <cstdint>
 #include <vector>
 
 namespace storm {

diff --git a/src/storm-pars-cli/CMakeLists.txt b/src/storm-pars-cli/CMakeLists.txt
@@ -8,7 +8,7 @@ target_link_libraries(storm-pars-cli storm-pars storm-cli-utilities)
 target_include_directories(storm-pars-cli PRIVATE "${PROJECT_SOURCE_DIR}/src")
 set_target_properties(storm-pars-cli PROPERTIES OUTPUT_NAME "storm-pars")
 set_target_properties(storm-pars-cli PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
-target_precompile_headers(storm-pars-cli REUSE_FROM storm-cli)
+storm_target_precompile_headers(storm-pars-cli REUSE_FROM storm-cli)
 
 add_dependencies(binaries storm-pars-cli)
 

diff --git a/src/storm-pars/CMakeLists.txt b/src/storm-pars/CMakeLists.txt
@@ -8,7 +8,7 @@ target_sources(storm-pars
 		${STORM_PARS_SOURCES}
 		PUBLIC
 		FILE_SET fs_storm_pars_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_PARS_HEADERS})
-target_precompile_headers(storm-pars REUSE_FROM storm)
+storm_target_precompile_headers(storm-pars REUSE_FROM storm)
 set_target_properties(storm-pars PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 set_target_properties(storm-pars PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.
 target_link_libraries(storm-pars PUBLIC storm)

diff --git a/src/storm-pars/modelchecker/region/RegionSplittingStrategy.h b/src/storm-pars/modelchecker/region/RegionSplittingStrategy.h
@@ -1,5 +1,8 @@
 #pragma once
 
+#include <cstdint>
+#include <iosfwd>
+#include <limits>
 #include <optional>
 
 #include "RegionSplitEstimateKind.h"

diff --git a/src/storm-parsers/CMakeLists.txt b/src/storm-parsers/CMakeLists.txt
@@ -11,7 +11,7 @@ target_sources(storm-parsers
         ${STORM_PARSER_SOURCES}
         PUBLIC
         FILE_SET fs_storm_parsers_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_PARSER_HEADERS})
-target_precompile_headers(storm-parsers REUSE_FROM storm)
+storm_target_precompile_headers(storm-parsers REUSE_FROM storm)
 set_target_properties(storm-parsers PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 set_target_properties(storm-parsers PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.
 target_link_libraries(storm-parsers PUBLIC storm)

diff --git a/src/storm-parsers/parser/ExpressionParser.h b/src/storm-parsers/parser/ExpressionParser.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <memory>
 
 #include "storm-parsers/parser/SpiritErrorHandler.h"

diff --git a/src/storm-parsers/parser/SparseChoiceLabelingParser.h b/src/storm-parsers/parser/SparseChoiceLabelingParser.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <string>
 #include <vector>
 

diff --git a/src/storm-permissive/CMakeLists.txt b/src/storm-permissive/CMakeLists.txt
@@ -8,7 +8,7 @@ target_sources(storm-permissive
         ${STORM_PERMISSIVE_SOURCES}
         PUBLIC
         FILE_SET fs_storm_permissive_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_PERMISSIVE_HEADERS})
-target_precompile_headers(storm-permissive REUSE_FROM storm)
+storm_target_precompile_headers(storm-permissive REUSE_FROM storm)
 set_target_properties(storm-permissive PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 set_target_properties(storm-permissive PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.
 target_link_libraries(storm-permissive PUBLIC storm)

diff --git a/src/storm-permissive/analysis/PermissiveSchedulerPenalty.h b/src/storm-permissive/analysis/PermissiveSchedulerPenalty.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <unordered_map>
 
 #include "storm/storage/StateActionPair.h"

diff --git a/src/storm-pomdp-cli/CMakeLists.txt b/src/storm-pomdp-cli/CMakeLists.txt
@@ -5,7 +5,7 @@ add_executable(storm-pomdp-cli ${PROJECT_SOURCE_DIR}/src/storm-pomdp-cli/storm-p
 target_link_libraries(storm-pomdp-cli storm-pomdp storm-cli-utilities)
 set_target_properties(storm-pomdp-cli PROPERTIES OUTPUT_NAME "storm-pomdp")
 target_include_directories(storm-pomdp-cli PRIVATE "${PROJECT_SOURCE_DIR}/src")
-target_precompile_headers(storm-pomdp-cli REUSE_FROM storm-cli)
+storm_target_precompile_headers(storm-pomdp-cli REUSE_FROM storm-cli)
 set_target_properties(storm-pomdp-cli PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 
 add_dependencies(binaries storm-pomdp-cli)

diff --git a/src/storm-pomdp/CMakeLists.txt b/src/storm-pomdp/CMakeLists.txt
@@ -8,7 +8,7 @@ target_sources(storm-pomdp
 		${STORM_POMDP_SOURCES}
 		PUBLIC
 		FILE_SET fs_storm_pomdp_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_POMDP_HEADERS})
-target_precompile_headers(storm-pomdp REUSE_FROM storm)
+storm_target_precompile_headers(storm-pomdp REUSE_FROM storm)
 set_target_properties(storm-pomdp PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 set_target_properties(storm-pomdp PROPERTIES DEFINE_SYMBOL "")  # to avoid problems with pch on linux.
 target_link_libraries(storm-pomdp PUBLIC storm storm-parsers storm-pars)

diff --git a/src/storm/CMakeLists.txt b/src/storm/CMakeLists.txt
@@ -19,7 +19,7 @@ add_library(storm SHARED)
 target_sources(storm PRIVATE ${STORM_SOURCES})
 target_sources(storm PUBLIC FILE_SET fs_storm_headers TYPE HEADERS BASE_DIRS "${PROJECT_SOURCE_DIR}/src" FILES ${STORM_HEADERS})
 target_sources(storm PUBLIC FILE_SET fs_storm_configured_headers TYPE HEADERS BASE_DIRS "${PROJECT_BINARY_DIR}/include" FILES ${STORM_BUILD_HEADERS})
-target_precompile_headers(storm PRIVATE ${STORM_PRECOMPILED_HEADERS})
+storm_target_precompile_headers(storm PRIVATE ${STORM_PRECOMPILED_HEADERS})
 set_target_properties(storm PROPERTIES VERSION ${STORM_VERSION} SOVERSION ${STORM_VERSION})
 set_target_properties(storm PROPERTIES DEFINE_SYMBOL "") # to avoid problems with pch on linux.
 set_target_properties(storm PROPERTIES BUILD_RPATH ${STORM_3RDPARTY_BINARY_DIR}/spot/lib/)

diff --git a/src/storm/adapters/JsonForward.h b/src/storm/adapters/JsonForward.h
@@ -1,4 +1,5 @@
 #pragma once
+#include <cstdint>
 #include <map>
 #include <string>
 #include <vector>

diff --git a/src/storm/adapters/sylvan.h b/src/storm/adapters/sylvan.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm-config.h"
 
 #ifdef STORM_HAVE_SYLVAN

diff --git a/src/storm/environment/solver/EigenSolverEnvironment.h b/src/storm/environment/solver/EigenSolverEnvironment.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/environment/solver/SolverEnvironment.h"
 #include "storm/solver/SolverSelectionOptions.h"

diff --git a/src/storm/environment/solver/GameSolverEnvironment.h b/src/storm/environment/solver/GameSolverEnvironment.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/environment/solver/SolverEnvironment.h"
 #include "storm/solver/MultiplicationStyle.h"

diff --git a/src/storm/environment/solver/GmmxxSolverEnvironment.h b/src/storm/environment/solver/GmmxxSolverEnvironment.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/environment/solver/SolverEnvironment.h"
 #include "storm/solver/SolverSelectionOptions.h"

diff --git a/src/storm/environment/solver/LongRunAverageSolverEnvironment.h b/src/storm/environment/solver/LongRunAverageSolverEnvironment.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/environment/solver/SolverEnvironment.h"
 #include "storm/solver/SolverSelectionOptions.h"

diff --git a/src/storm/environment/solver/MinMaxSolverEnvironment.h b/src/storm/environment/solver/MinMaxSolverEnvironment.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/environment/solver/SolverEnvironment.h"
 #include "storm/solver/MultiplicationStyle.h"

diff --git a/src/storm/environment/solver/NativeSolverEnvironment.h b/src/storm/environment/solver/NativeSolverEnvironment.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/environment/solver/SolverEnvironment.h"
 #include "storm/solver/MultiplicationStyle.h"

diff --git a/src/storm/logic/Formula.h b/src/storm/logic/Formula.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <functional>
 #include <iosfwd>
 #include <map>
 #include <memory>

diff --git a/src/storm/logic/MultiObjectiveFormula.h b/src/storm/logic/MultiObjectiveFormula.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/logic/StateFormula.h"
 
 namespace storm {

diff --git a/src/storm/logic/QuantileFormula.h b/src/storm/logic/QuantileFormula.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/logic/StateFormula.h"
 
 namespace storm {

diff --git a/src/storm/modelchecker/lexicographic/spotHelper/SpotProduct.h b/src/storm/modelchecker/lexicographic/spotHelper/SpotProduct.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/automata/DeterministicAutomaton.h"
 #include "storm/logic/ExtractMaximalStateFormulasVisitor.h"
 #include "storm/logic/MultiObjectiveFormula.h"

diff --git a/...modelchecker/multiobjective/deterministicScheds/DeterministicSchedsAchievabilityChecker.h b/...modelchecker/multiobjective/deterministicScheds/DeterministicSchedsAchievabilityChecker.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <memory>
 #include <optional>
 #include <vector>

diff --git a/src/storm/modelchecker/results/QualitativeCheckResult.h b/src/storm/modelchecker/results/QualitativeCheckResult.h
@@ -1,5 +1,7 @@
 #pragma once
 
+#include <cstdint>
+
 #include "storm/modelchecker/results/CheckResult.h"
 
 namespace storm {

diff --git a/src/storm/settings/ArgumentValidators.h b/src/storm/settings/ArgumentValidators.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <memory>
 #include <string>
 #include <vector>

diff --git a/src/storm/solver/helper/DiscountedValueIterationHelper.h b/src/storm/solver/helper/DiscountedValueIterationHelper.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <functional>
 #include <memory>
 #include <optional>

diff --git a/src/storm/solver/helper/OptimisticValueIterationHelper.h b/src/storm/solver/helper/OptimisticValueIterationHelper.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <functional>
 #include <memory>
 #include <optional>

diff --git a/src/storm/solver/helper/RationalSearchHelper.h b/src/storm/solver/helper/RationalSearchHelper.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <functional>
 #include <memory>
 #include <optional>

diff --git a/src/storm/solver/helper/SchedulerTrackingHelper.h b/src/storm/solver/helper/SchedulerTrackingHelper.h
@@ -1,4 +1,7 @@
 #pragma once
+
+#include <boost/optional.hpp>
+#include <cstdint>
 #include <memory>
 #include <vector>
 

diff --git a/src/storm/solver/helper/ValueIterationHelper.h b/src/storm/solver/helper/ValueIterationHelper.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <functional>
 #include <memory>
 #include <optional>

diff --git a/src/storm/solver/multiplier/Multiplier.h b/src/storm/solver/multiplier/Multiplier.h
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <cstdint>
 #include <memory>
 #include <vector>