Start Extensions API Documentation stormpy.dft export_dft_json_string export_dft_json_string¶ export_dft_json_string(dft) → str¶ export_dft_json_string(dft) → str Export DFT to JSON string Export DFT to JSON string