Search Criteria
Package Details: python-mata 1:0.51.0-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/python-mata.git (read-only, click to copy) |
|---|---|
| Package Base: | python-mata |
| Description: | Pyhton bindings for open source automata library that offers interface for different kinds of automata (NFA, AFA, etc.) |
| Upstream URL: | https://github.com/VeriFIT/mata |
| Licenses: | GPL3 |
| Submitter: | Anty0 |
| Maintainer: | Anty0 |
| Last Packager: | Anty0 |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2022-10-19 21:22 (UTC) |
| Last Updated: | 2023-04-01 16:50 (UTC) |
Dependencies (13)
- mataAUR
- python (python37AUR, python311AUR, python310AUR)
- python-networkx (python-networkx-gitAUR)
- python-pandas
- python-tabulate (python-tabulate-gitAUR)
- cython (cython-gitAUR, cython0AUR) (make)
- python-build (make)
- python-installer (python-installer-gitAUR) (make)
- python-setuptools (make)
- python-wheel (make)
- python-coverage (check)
- python-pytest (check)
- python-pytest-cov (check)