Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mvcisback / py-aiger-jani
Python library for translating from a subset of Jani to AIGs.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger-jani
Stars: 2
Forks: 0
Open Issues: 5
License: mit
Language: Python
Repo Size: 250 KB
Dependencies:
71
Created: about 3 years ago
Updated: almost 3 years ago
Last pushed: almost 3 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
pyproject.toml
pypi
- codecov ^2.1.11 develop
- coverage ^5.5 develop
- mdd ^0.3.7 develop
- networkx ^2.5.1 develop
- numpy ^1.20.2 develop
- pdoc3 ^0.9.2 develop
- py-aiger-coins ^3.3.4 develop
- pytest ^6.2.2 develop
- pytest-cov ^2.11.1 develop
- pytest-flake8 ^1.0.7 develop
- attrs ^20.3.0
- py-aiger ^6.1.14
- py-aiger-bv ^4.7.1
- py-aiger-coins ^3.3.4
- python ^3.9
poetry.lock
pypi
- apipkg 1.5 develop
- astutils 0.0.4 develop
- atomicwrites 1.4.0 develop
- bdd2dfa 1.0.4 develop
- certifi 2020.12.5 develop
- chardet 4.0.0 develop
- codecov 2.1.11 develop
- colorama 0.4.4 develop
- coverage 5.5 develop
- dd 0.5.6 develop
- decorator 4.4.2 develop
- dfa 2.1.2 develop
- execnet 1.8.0 develop
- flake8 3.9.2 develop
- idna 2.10 develop
- iniconfig 1.1.1 develop
- lazytree 0.3.2 develop
- mako 1.1.4 develop
- markdown 3.3.4 develop
- markupsafe 2.0.0 develop
- mccabe 0.6.1 develop
- mdd 0.3.7 develop
- networkx 2.5.1 develop
- numpy 1.20.3 develop
- packaging 20.9 develop
- pdoc3 0.9.2 develop
- pluggy 0.13.1 develop
- ply 3.10 develop
- psutil 5.8.0 develop
- py 1.10.0 develop
- py-aiger-bdd 3.0.3 develop
- pycodestyle 2.7.0 develop
- pydot 1.4.2 develop
- pyflakes 2.3.1 develop
- pyparsing 2.4.7 develop
- pytest 6.2.4 develop
- pytest-cov 2.11.1 develop
- pytest-flake8 1.0.7 develop
- pytest-forked 1.3.0 develop
- pytest-xdist 2.2.1 develop
- requests 2.25.1 develop
- toml 0.10.2 develop
- urllib3 1.26.4 develop
- attrs 20.3.0
- bidict 0.21.2
- funcy 1.16
- parsimonious 0.8.1
- py-aiger 6.1.14
- py-aiger-bv 4.7.1
- py-aiger-coins 3.3.4
- py-aiger-discrete 0.1.8
- py-aiger-ptltl 3.1.0
- pyrsistent 0.17.3
- six 1.16.0
- sortedcontainers 2.3.0
- toposort 1.6