文件名称：uppaal-py：适用于Python的UPPAAL包装器
文件大小：247KB
文件格式：ZIP
更新时间：2024-03-04 07:13:51
Python
上py 适用于Python的UPPAAL包装器。 当前支持读取和写入.xml文件。 适用于Python> = 3.8。 依存关系 安装 通过点： pip install uppaal-py 用法 >> > from uppaalpy import core >> > my_nta = core . NTA . fromXML ( 'test.xml' ) >> > my_nta . to_file ( 'test_new.xml' , pretty = True ) 执照