PyPI page
Home page
Author:
Tobias Reiher
License:
Apache-2.0
Summary:
A toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
Latest version:
0.26.0
Required dependencies:
attrs
|
defusedxml
|
lark
|
pydantic
|
pydotplus
|
pygls
|
ruamel.yaml
|
setuptools
|
z3-solver
Downloads last day:
2
Downloads last week:
19
Downloads last month:
96