文件名称:pyuppaal:用于处理UPPAAL xml文件的Python库。 目前可以导入,导出和布局模型
文件大小:111KB
文件格式:ZIP
更新时间:2024-05-30 17:34:02
Python
up 用于处理UPPAAL xml文件的Python库。 目前可以导入,导出和布局模型。 该项目是从现有的启动板站点创建的。 安装说明 安装pygraphviz。 在Windows上,要求步骤为: 安装mingw32 下载pygraphviz来源 将pygraphviz文件夹中的setup.py编辑为: library_path = r“ c:\ Program Files(x86)\ Graphviz 2.28 \ bin” include_path = r“ c:\ Program Files(x86)\ Graphviz 2.28 \ include” 运行python setup.py build -c mingw32 运行python setup.py install 使用python setup.py install安装pyuppaal 运行pyuppal脚本
【文件预览】:
pyuppaal-master
----COPYING(34KB)
----TODO-template-editor(65B)
----debian()
--------compat(2B)
--------pycompat(2B)
--------changelog(575B)
--------rules(149B)
--------control(598B)
--------copyright(355B)
----pyuppaal()
--------__init__.py(23B)
--------pyuppaal.py(21KB)
--------ulp()
----LICENSE(34KB)
----setup.py(398B)
----README.md(1KB)
----data()
--------pyuppaal.gladep(261B)
--------pyuppaal.glade(20KB)
--------tedit.glade(18KB)
----tests()
--------small_nocoords.xml(928B)
--------petur_boegholm_testcase_minimal.xml(7KB)
--------noinit_minimal.xml(552B)
--------minimal.xml(568B)
--------small.xml(689B)
--------test_api.py(3KB)
--------minimal_0coord.xml(597B)
--------urgent.xml(577B)
--------tapaal-simple.xml(621B)
--------run_tests.sh(117B)
--------small_all_labels.xml(1KB)
--------tga.xml(904B)
--------small_verify.xml(711B)
--------petur_boegholm_testcase.xml(151KB)
--------parameter_minimal.xml(598B)
--------ulp()
--------test_import.py(8KB)
--------strangeguard.xml(720B)
--------location_no_xypos.xml(542B)
--------minimal_name.xml(601B)
----.gitignore(702B)
----bin()
--------layout_uppaal(1KB)
--------pyuppaal_gui(22KB)
--------template-editor(12KB)