Projects: pypi: py-aiger
https://packages.ecosyste.ms/registries/pypi.org/packages/py-aiger
A python library for manipulating sequential and-inverter gates.
67 versions
Latest release: about 3 years ago
8 dependent packages
853 downloads last month
Enhanced Analysis
Educational Contributors:
eskim@eecs.berkeley.edu
Repository Activity:
Repository Owner:
Marcell Vazquez-Chanlatte (user)
README Analysis:
DOI Found
CITATION.cff
Science Score: 100/100
Starting Score: 100 points
Bonuses:
-
+20
Educational commit emails
1 contributors with educational email addresses -
+6
Science terms in README
3 scientific terms found in README -
+10
DOI references
1 DOI references found in README -
+15
CITATION.cff file
Contains citation file for academic attribution
Penalties:
-
-10
PyPI ecosystem
General-purpose ecosystem -
-15
No science keywords
No scientific terms found in keywords/classifiers -
-10
No science terms in description
No scientific terms found in description
Very Likely Science (100)
Papers Mentioning py-aiger 1
10.1007/978-3-030-53291-8_15
Maximum Causal Entropy Specification Inference from DemonstrationsCited by: 8
Author(s): Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Software Mentions: 2
Published: over 6 years ago