Start API Documentation stormpy.info storm_build_info storm_build_info¶ storm_build_info() → str¶ Get build information of Storm, e.g. the compiler and the build date. Returns: Build information