Start API Documentation stormpy.environments SylvanDdManagerEnvironment SylvanDdManagerEnvironment¶ class SylvanDdManagerEnvironment¶ Bases: pybind11_object Environment for Sylvan DD manager property maximal_memory¶ Maximal memory (in MB) property number_of_threads¶ Number of threads