Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / mvcisback / py-AIGAR
py-AIGAR: Tools for analyzing aiger circuits.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-AIGAR
Stars: 1
Forks: 3
Open Issues: 4
License: mit
Language: Python
Repo Size: 79.1 KB
Dependencies:
20
Created: almost 6 years ago
Updated: over 5 years ago
Last pushed: almost 2 years ago
Last synced: 25 days ago
Files
Loading...
Readme
Loading...
Dependencies
requirements.txt
pypi
- bidict ==0.17.5
- codecov ==2.0.15
- dd ==0.5.4
- funcy ==1.11
- hypothesis ==3.66.30
- hypothesis_cfg master
- py-aiger ==2.1.1
- py-aiger-bv ==0.2.1
- pytest ==3.2.3
- pytest-cov ==2.5.1
- pytest-flake8 ==0.9
- pytest-sugar ==0.9.1
- pytest-xdist ==1.22.5
- python-sat ==0.1.3.dev25
- toposort ==1.5