Metadata-Version: 2.4
Name: mata-py
Version: 0.1.0
Summary: Mata Python bindings
Home-page: https://github.com/verifit/mata
Author: Lukáš Holík <holik@fit.vutbr.cz>, Ondřej Lengál <lengal@fit.vutbr.cz>, Martin Hruška <ihruskam@fit.vutbr.cz>, Tomáš Fiedor <ifiedortom@fit.vutbr.cz>, David Chocholatý <chocholaty.david@protonmail.com>, Juraj Síč <sicjuraj@fit.vutbr.cz>, Tomáš Vojnar <vojnar@fit.vutbr.cz>
Author-email: holik@fit.vutbr.cz
Requires-Python: >=3.13
Description-Content-Type: text/markdown
Requires-Dist: coverage>=6.4.1
Requires-Dist: cython>=0.29.32
Requires-Dist: graphviz>=0.20.0
Requires-Dist: ipykernel>=7.2.0
Requires-Dist: ipython>=7.9.0
Requires-Dist: networkx>=2.6.3
Requires-Dist: pandas>=1.3.5
Requires-Dist: papermill>=2.7.0
Requires-Dist: pytest>=3.6.4
Requires-Dist: pytest-cov>=3.0.0
Requires-Dist: seaborn>=0.13.2
Requires-Dist: setuptools>=82.0.1
Requires-Dist: tabulate>=0.8.10
Dynamic: author
Dynamic: author-email
Dynamic: home-page

# Python bindings for the automata library Mata

This folder contains Python bindings for the automata library Mata.

## Contributing

For information on contributing to the Python binding, refer to [CONTRIBUTING.md](CONTRIBUTING.md).
