Metadata-Version: 2.1
Name: promela
Version: 0.0.4
Summary: Parser and abstract syntax tree for the Promela modeling language.
Home-page: https://github.com/johnyf/promela
Author: Ioannis Filippidis
Author-email: jfilippidis@gmail.com
License: BSD
Project-URL: Bug Tracker, https://github.com/johnyf/promela/issues
Project-URL: Documentation, https://github.com/johnyf/promela/blob/main/doc.md
Keywords: promela,parser,syntax tree,ply,lex,yacc
Classifier: Development Status :: 2 - Pre-Alpha
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: BSD License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3 :: Only
Classifier: Topic :: Scientific/Engineering
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: networkx>=2.0
Requires-Dist: ply<=3.10,>=3.4

[![Build Status][build_img]][ci]


About
=====

A parser for the [Promela modeling language](https://en.wikipedia.org/wiki/Promela).
[PLY](https://pypi.org/project/ply/3.4/) (Python `lex`-`yacc`) is used to
generate the parser. Classes for a Promela abstract tree are included and used
for representing the result of parsing.

A short tutorial can be found in the file [`doc.md`](
    https://github.com/johnyf/promela/blob/main/doc.md).
To install:

```
pip install promela
```


License
=======

[3-clause BSD](https://opensource.org/licenses/BSD-3-Clause),
see the file `LICENSE`.


[build_img]: https://github.com/johnyf/promela/actions/workflows/main.yml/badge.svg?branch=main
[ci]: https://github.com/johnyf/promela/actions
