dftlib.tools.stormpy.get\_stormpy\_dft
======================================

.. currentmodule:: dftlib.tools.stormpy

.. autofunction:: get_stormpy_dft