Registered 2008-11-21 by Mads Chr. Olesen

Python library for manipulating UPPAAL xml files. Can currently import, export and layout models.

Project information

Maintainer:
pyuppaal developers
Driver:
Not yet selected
Licence:
GNU GPL v3

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar
Programming languages:
python

Get Involved

Downloads

pyuppaal does not have any download files registered with Launchpad.