Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mvcisback / py-aiger-dfa
Python library for converting between AIG circuits and DFAs.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger-dfa
Stars: 2
Forks: 0
Open Issues: 0
License: mit
Language: Python
Repo Size: 184 KB
Dependencies:
52
Created: about 5 years ago
Updated: 7 months ago
Last pushed: 2 months ago
Last synced: 11 days ago
Commit Stats
Commits: 46
Authors: 1
Mean commits per author: 46.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/mvcisback/py-aiger-dfa
Files
Dependencies
- coverage ^5.0.0 develop
- pdoc3 ^0.9.0 develop
- pytest-cov ^2.7 develop
- pytest-flake8 ^1.0 develop
- pytest-xdist ^2.0.0 develop
- attrs ^21.0.0
- bidict ^0.21.0
- dfa ^4
- funcy ^1.12
- py-aiger ^6.0.0
- py-aiger-bv ^4.7.4
- py-aiger-ptltl ^3.0.0
- pyrsistent ^0.18
- python ^3.9
- coverage 5.5 develop
- flake8 4.0.1 develop
- importlib-metadata 4.8.2 develop
- mako 1.1.6 develop
- markdown 3.3.6 develop
- markupsafe 2.0.1 develop
- mccabe 0.6.1 develop
- pdoc3 0.9.2 develop
- pycodestyle 2.8.0 develop
- pyflakes 2.4.0 develop
- pytest-cov 2.12.1 develop
- pytest-flake8 1.0.7 develop
- zipp 3.6.0 develop
- atomicwrites 1.4.0
- attrs 21.2.0
- bidict 0.21.4
- colorama 0.4.4
- dfa 4.1.0
- execnet 1.9.0
- funcy 1.16
- iniconfig 1.1.1
- lazytree 0.3.3
- packaging 21.3
- parsimonious 0.8.1
- pluggy 1.0.0
- py 1.11.0
- py-aiger 6.1.20
- py-aiger-bv 4.7.4
- py-aiger-ptltl 3.1.0
- pyparsing 3.0.6
- pyrsistent 0.18.0
- pytest 6.2.5
- pytest-forked 1.3.0
- pytest-xdist 2.4.0
- six 1.16.0
- sortedcontainers 2.4.0
- toml 0.10.2
- toposort 1.7