Merge branch 'gspn' of https://sselab.de/lab9/private/git/storm into gspn

Former-commit-id: a53a20681e

CMakeLists.txt

@@ -35,6 +35,7 @@ option(STORM_PYTHON "Builds the API for Python" OFF)
 option(STORM_COMPILE_WITH_CCACHE "Compile using CCache [if found]" ON)
 mark_as_advanced(STORM_COMPILE_WITH_CCACHE)
 option(STORM_LOG_DISABLE_DEBUG "Disable log and trace message support" OFF)
+option(STORM_USE_CLN_NUMBERS "Sets whether CLN or GMP numbers should be used" ON)
 set(BOOST_ROOT "" CACHE STRING "A hint to the root directory of Boost (optional).")
 set(GUROBI_ROOT "" CACHE STRING "A hint to the root directory of Gurobi (optional).")
 set(Z3_ROOT "" CACHE STRING "A hint to the root directory of Z3 (optional).")