{"id":10693,"name":"py-aiger","description":"py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` \u0026 `inverter` gates (AIGs). ","url":"https://github.com/mvcisback/py-aiger","last_synced_at":"2025-09-04T21:00:23.758Z","repository":{"id":47589152,"uuid":"130783753","full_name":"mvcisback/py-aiger","owner":"mvcisback","description":"py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` \u0026 `inverter` gates (AIGs). ","archived":false,"fork":false,"pushed_at":"2024-12-21T21:50:55.000Z","size":524,"stargazers_count":47,"open_issues_count":2,"forks_count":9,"subscribers_count":8,"default_branch":"main","last_synced_at":"2025-08-24T00:25:07.247Z","etag":null,"topics":["aiger","circuit"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mvcisback.png","metadata":{"files":{"readme":"README.md","changelog":"changelog.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2018-04-24T02:19:57.000Z","updated_at":"2025-07-15T17:33:16.000Z","dependencies_parsed_at":"2023-02-09T20:46:02.534Z","dependency_job_id":"594530e1-d850-4173-a6f2-9718d47355a0","html_url":"https://github.com/mvcisback/py-aiger","commit_stats":{"total_commits":484,"total_committers":7,"mean_commits":69.14285714285714,"dds":"0.17148760330578516","last_synced_commit":"19b3fe3837c3187dec08a5b58ba7cb36ca107c8d"},"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/mvcisback/py-aiger","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mvcisback","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/sbom","scorecard":{"id":669281,"data":{"date":"2025-08-11","repo":{"name":"github.com/mvcisback/py-aiger","commit":"af19a6e0e9922b39103f6f692c8aab449005ca26"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3,"checks":[{"name":"Code-Review","score":1,"reason":"Found 3/26 approved changesets -- score normalized to 1","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: MIT License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Vulnerabilities","score":9,"reason":"1 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: GHSA-jfmj-5v4g-7637"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'main'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 8 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-21T19:22:54.622Z","repository_id":47589152,"created_at":"2025-08-21T19:22:54.623Z","updated_at":"2025-08-21T19:22:54.623Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273673192,"owners_count":25147504,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-04T02:00:08.968Z","response_time":61,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"mvcisback","name":"Marcell Vazquez-Chanlatte","uuid":"388723","kind":"user","description":"","email":"","website":"mjvc.me","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/388723?u=a81711d886012662c426bb0e92d7cbd203e64a20\u0026v=4","repositories_count":78,"last_synced_at":"2023-05-22T02:25:32.252Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/mvcisback","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-05T04:27:38.091Z","updated_at":"2023-05-22T02:25:32.259Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mvcisback","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mvcisback/repositories"},"packages":[{"id":2864649,"name":"py-aiger","ecosystem":"pypi","description":"A python library for manipulating sequential and-inverter gates.","homepage":"https://github.com/mvcisback/py-aiger","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/mvcisback/py-aiger","keywords_array":[],"namespace":null,"versions_count":70,"first_release_published_at":"2018-06-22T01:22:38.000Z","latest_release_published_at":"2024-12-17T18:51:21.000Z","latest_release_number":"7.0.0","last_synced_at":"2025-08-23T20:33:17.254Z","created_at":"2022-04-10T12:09:23.839Z","updated_at":"2025-08-24T02:52:31.537Z","registry_url":"https://pypi.org/project/py-aiger/","install_command":"pip install py-aiger --index-url https://pypi.org/simple","documentation_url":"https://py-aiger.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["License :: OSI Approved :: MIT License","Programming Language :: Python :: 3","Programming Language :: Python :: 3.10","Programming Language :: Python :: 3.11","Programming Language :: Python :: 3.12","Programming Language :: Python :: 3.7","Programming Language :: Python :: 3.8","Programming Language :: Python :: 3.9"],"normalized_name":"py-aiger","project_status":null},"repo_metadata":{"id":47589152,"uuid":"130783753","full_name":"mvcisback/py-aiger","owner":"mvcisback","description":"py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` \u0026 `inverter` gates (AIGs). ","archived":false,"fork":false,"pushed_at":"2024-12-21T21:50:55.000Z","size":524,"stargazers_count":47,"open_issues_count":2,"forks_count":9,"subscribers_count":8,"default_branch":"main","last_synced_at":"2025-08-24T00:25:07.247Z","etag":null,"topics":["aiger","circuit"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mvcisback.png","metadata":{"files":{"readme":"README.md","changelog":"changelog.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2018-04-24T02:19:57.000Z","updated_at":"2025-07-15T17:33:16.000Z","dependencies_parsed_at":"2023-02-09T20:46:02.534Z","dependency_job_id":"594530e1-d850-4173-a6f2-9718d47355a0","html_url":"https://github.com/mvcisback/py-aiger","commit_stats":{"total_commits":484,"total_committers":7,"mean_commits":69.14285714285714,"dds":"0.17148760330578516","last_synced_commit":"19b3fe3837c3187dec08a5b58ba7cb36ca107c8d"},"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/mvcisback/py-aiger","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mvcisback","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/sbom","scorecard":{"id":669281,"data":{"date":"2025-08-11","repo":{"name":"github.com/mvcisback/py-aiger","commit":"af19a6e0e9922b39103f6f692c8aab449005ca26"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3,"checks":[{"name":"Code-Review","score":1,"reason":"Found 3/26 approved changesets -- score normalized to 1","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: MIT License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Vulnerabilities","score":9,"reason":"1 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: GHSA-jfmj-5v4g-7637"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'main'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 8 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-21T19:22:54.622Z","repository_id":47589152,"created_at":"2025-08-21T19:22:54.623Z","updated_at":"2025-08-21T19:22:54.623Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271782179,"owners_count":24819701,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-08-24T02:00:11.135Z","response_time":111,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"mvcisback","name":"Marcell Vazquez-Chanlatte","uuid":"388723","kind":"user","description":"","email":"","website":"mjvc.me","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/388723?u=a81711d886012662c426bb0e92d7cbd203e64a20\u0026v=4","repositories_count":78,"last_synced_at":"2023-05-22T02:25:32.252Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/mvcisback","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-05T04:27:38.091Z","updated_at":"2023-05-22T02:25:32.259Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mvcisback","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mvcisback/repositories"},"tags":[{"name":"v6.2.2","sha":"1339d9ccbd131d67c15c5d9fe29fe5b1014a4773","kind":"commit","published_at":"2023-12-27T21:13:50.000Z","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/v6.2.2","html_url":"https://github.com/mvcisback/py-aiger/releases/tag/v6.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mvcisback/py-aiger@v6.2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v6.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v6.2.2/manifests"},{"name":"v6.2.0","sha":"ed2b9a388bdccb3c26cad3390f3ec43c2abf5b87","kind":"commit","published_at":"2023-01-14T23:43:10.000Z","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/v6.2.0","html_url":"https://github.com/mvcisback/py-aiger/releases/tag/v6.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mvcisback/py-aiger@v6.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v6.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v6.2.0/manifests"},{"name":"v6.1.2","sha":"7b385605616a1bd1db9ce2393b08b77fae640224","kind":"commit","published_at":"2020-09-12T02:42:38.000Z","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/v6.1.2","html_url":"https://github.com/mvcisback/py-aiger/releases/tag/v6.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mvcisback/py-aiger@v6.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v6.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v6.1.2/manifests"},{"name":"v2.0.0","sha":"dee73cec90acaa4bbb42c6e9d08fbf2f54f4a122","kind":"commit","published_at":"2018-08-29T23:56:02.000Z","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/v2.0.0","html_url":"https://github.com/mvcisback/py-aiger/releases/tag/v2.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mvcisback/py-aiger@v2.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v2.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v2.0.0/manifests"},{"name":"v1.0.0.alpha","sha":"4c38988fb89cdaf59a50e84183ee9335fd963427","kind":"commit","published_at":"2018-08-09T01:08:50.000Z","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/v1.0.0.alpha","html_url":"https://github.com/mvcisback/py-aiger/releases/tag/v1.0.0.alpha","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mvcisback/py-aiger@v1.0.0.alpha","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v1.0.0.alpha","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v1.0.0.alpha/manifests"},{"name":"v1.0.0","sha":"4c38988fb89cdaf59a50e84183ee9335fd963427","kind":"commit","published_at":"2018-08-09T01:08:50.000Z","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/v1.0.0","html_url":"https://github.com/mvcisback/py-aiger/releases/tag/v1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mvcisback/py-aiger@v1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/v1.0.0/manifests"},{"name":"0.5.0","sha":"0254e87e555c1b93475daa295ed54cbcffc7de4d","kind":"commit","published_at":"2018-08-02T06:53:58.000Z","download_url":"https://codeload.github.com/mvcisback/py-aiger/tar.gz/0.5.0","html_url":"https://github.com/mvcisback/py-aiger/releases/tag/0.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/mvcisback/py-aiger@0.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/0.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/tags/0.5.0/manifests"}]},"repo_metadata_updated_at":"2025-08-24T02:52:31.537Z","dependent_packages_count":8,"downloads":13724,"downloads_period":"last-month","dependent_repos_count":21,"rankings":{"downloads":8.418316107224635,"dependent_repos_count":3.168137630985339,"dependent_packages_count":1.1324213495293696,"stargazers_count":11.008944372698139,"forks_count":12.549760784771335,"docker_downloads_count":null,"average":7.255516049041764},"purl":"pkg:pypi/py-aiger","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/py-aiger","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/py-aiger","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/py-aiger/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-23T21:36:51.331Z","issues_count":31,"pull_requests_count":74,"avg_time_to_close_issue":28376177.51724138,"avg_time_to_close_pull_request":1204058.945945946,"issues_closed_count":29,"pull_requests_closed_count":74,"pull_request_authors_count":6,"issue_authors_count":12,"avg_comments_per_issue":3.3870967741935485,"avg_comments_per_pull_request":1.0945945945945945,"merged_pull_requests_count":56,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":1,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":3997341.0,"past_year_avg_time_to_close_pull_request":83653.0,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":1,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":22.0,"past_year_avg_comments_per_pull_request":0.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":1,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/issues","maintainers":[{"login":"mvcisback","count":44,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mvcisback"},{"login":"MarkusRabe","count":13,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/MarkusRabe"}],"active_maintainers":[{"login":"mvcisback","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mvcisback"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/py-aiger/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/py-aiger/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/py-aiger/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/py-aiger/related_packages","maintainers":[{"uuid":"mvcisback","login":"mvcisback","name":null,"email":null,"url":null,"packages_count":38,"html_url":"https://pypi.org/user/mvcisback/","role":null,"created_at":"2023-01-14T23:46:53.315Z","updated_at":"2023-01-14T23:46:53.315Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/mvcisback/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":724896,"maintainers_count":308241,"namespaces_count":0,"keywords_count":237984,"github":"pypi","metadata":{"funded_packages_count":50481},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-04T05:23:51.177Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/namespaces"}}],"commits":{"id":634699,"full_name":"mvcisback/py-aiger","default_branch":"main","committers":[{"name":"Marcell Vazquez-Chanlatte","email":"mvc@linux.com","login":null,"count":401},{"name":"Markus N Rabe","email":"markus.norman.rabe@gmail.com","login":null,"count":51},{"name":"pyup-bot","email":"github-bot@pyup.io","login":"pyup-bot","count":24},{"name":"masinag","email":"gabriele.masina@virgilio.it","login":null,"count":5},{"name":"Eric","email":"eskim@eecs.berkeley.edu","login":null,"count":1},{"name":"osankur","email":"osankur","login":"osankur","count":1},{"name":"Sebastian Junges","email":"sebastian.junges@gmail.com","login":null,"count":1}],"total_commits":484,"total_committers":7,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":69.14285714285714,"dds":0.17148760330578516,"past_year_committers":[{"name":"Marcell Vazquez-Chanlatte","email":"mvc@linux.com","login":null,"count":6},{"name":"masinag","email":"gabriele.masina@virgilio.it","login":null,"count":5},{"name":"osankur","email":"osankur","login":"osankur","count":1}],"past_year_total_commits":12,"past_year_total_committers":3,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":4.0,"past_year_dds":0.5,"last_synced_at":"2023-10-25T14:36:59.704Z","last_synced_commit":"19b3fe3837c3187dec08a5b58ba7cb36ca107c8d","created_at":"2023-03-09T08:33:00.612Z","updated_at":"2023-10-25T14:36:59.704Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.936Z","repositories_count":5480019,"commits_count":853389012,"contributors_count":31098138,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"mvcisback/py-aiger","html_url":"https://github.com/mvcisback/py-aiger","last_synced_at":"2025-08-23T21:36:51.331Z","status":"error","issues_count":31,"pull_requests_count":74,"avg_time_to_close_issue":28376177.51724138,"avg_time_to_close_pull_request":1204058.945945946,"issues_closed_count":29,"pull_requests_closed_count":74,"pull_request_authors_count":6,"issue_authors_count":12,"avg_comments_per_issue":3.3870967741935485,"avg_comments_per_pull_request":1.0945945945945945,"merged_pull_requests_count":56,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":1,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":3997341.0,"past_year_avg_time_to_close_pull_request":83653.0,"past_year_issues_closed_count":1,"past_year_pull_requests_closed_count":1,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":22.0,"past_year_avg_comments_per_pull_request":0.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":1,"created_at":"2023-05-14T20:49:16.139Z","updated_at":"2025-09-03T04:17:02.378Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/mvcisback%2Fpy-aiger/issues","issue_labels_count":{"wontfix":1},"pull_request_labels_count":{},"issue_author_associations_count":{"OWNER":10,"NONE":8,"COLLABORATOR":8,"CONTRIBUTOR":5},"pull_request_author_associations_count":{"OWNER":35,"CONTRIBUTOR":35,"COLLABORATOR":5},"issue_authors":{"mvcisback":10,"MarkusRabe":8,"masinag":4,"sjunges":1,"jbroot":1,"Acdimy":1,"MatCos":1,"alexeyignatiev":1,"arw12625":1,"Hemer911":1,"allrtaken":1,"sventhijssen":1},"pull_request_authors":{"mvcisback":35,"pyup-bot":30,"MarkusRabe":5,"masinag":3,"osankur":1,"sjunges":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10077569,"issues_count":31305413,"pull_requests_count":95962502,"authors_count":10691970,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{"CONTRIBUTOR":1},"past_year_pull_request_author_associations_count":{"OWNER":2},"past_year_issue_authors":{"masinag":1},"past_year_pull_request_authors":{"mvcisback":2},"maintainers":[{"login":"mvcisback","count":45,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mvcisback"},{"login":"MarkusRabe","count":13,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/MarkusRabe"}],"active_maintainers":[{"login":"mvcisback","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mvcisback"}]},"events":{"total":{"IssuesEvent":2,"WatchEvent":5,"IssueCommentEvent":19,"PushEvent":2,"PullRequestEvent":1,"CreateEvent":1},"last_year":{"IssuesEvent":2,"WatchEvent":5,"IssueCommentEvent":19,"PushEvent":2,"PullRequestEvent":1,"CreateEvent":1}},"keywords":["aiger","circuit"],"dependencies":[{"ecosystem":"pypi","filepath":"poetry.lock","sha":null,"kind":"lockfile","created_at":"2022-08-12T13:40:59.551Z","updated_at":"2022-08-12T13:40:59.551Z","repository_link":"https://github.com/mvcisback/py-aiger/blob/main/poetry.lock","dependencies":[{"id":1330052268,"package_name":"atomicwrites","ecosystem":"pypi","requirements":"1.4.1","direct":false,"kind":"develop","optional":false},{"id":1330052269,"package_name":"attrs","ecosystem":"pypi","requirements":"21.4.0","direct":false,"kind":"runtime","optional":false},{"id":1330052270,"package_name":"bidict","ecosystem":"pypi","requirements":"0.21.4","direct":false,"kind":"runtime","optional":false},{"id":1330052271,"package_name":"colorama","ecosystem":"pypi","requirements":"0.4.5","direct":false,"kind":"develop","optional":false},{"id":1330052272,"package_name":"coverage","ecosystem":"pypi","requirements":"6.4.3","direct":false,"kind":"develop","optional":false},{"id":1330052273,"package_name":"execnet","ecosystem":"pypi","requirements":"1.9.0","direct":false,"kind":"develop","optional":false},{"id":1330052274,"package_name":"flake8","ecosystem":"pypi","requirements":"5.0.4","direct":false,"kind":"develop","optional":false},{"id":1330052275,"package_name":"funcy","ecosystem":"pypi","requirements":"1.17","direct":false,"kind":"runtime","optional":false},{"id":1330052276,"package_name":"hypothesis","ecosystem":"pypi","requirements":"5.49.0","direct":false,"kind":"develop","optional":false},{"id":1330052277,"package_name":"hypothesis-cfg","ecosystem":"pypi","requirements":"0.2","direct":false,"kind":"develop","optional":false},{"id":1330052278,"package_name":"importlib-metadata","ecosystem":"pypi","requirements":"4.2.0","direct":false,"kind":"develop","optional":false},{"id":1330052279,"package_name":"iniconfig","ecosystem":"pypi","requirements":"1.1.1","direct":false,"kind":"develop","optional":false},{"id":1330052280,"package_name":"mccabe","ecosystem":"pypi","requirements":"0.7.0","direct":false,"kind":"develop","optional":false},{"id":1330052281,"package_name":"packaging","ecosystem":"pypi","requirements":"21.3","direct":false,"kind":"develop","optional":false},{"id":1330052282,"package_name":"parsimonious","ecosystem":"pypi","requirements":"0.8.1","direct":false,"kind":"runtime","optional":false},{"id":1330052283,"package_name":"pluggy","ecosystem":"pypi","requirements":"1.0.0","direct":false,"kind":"develop","optional":false},{"id":1330052284,"package_name":"py","ecosystem":"pypi","requirements":"1.11.0","direct":false,"kind":"develop","optional":false},{"id":1330052285,"package_name":"py-aiger-ptltl","ecosystem":"pypi","requirements":"3.1.0","direct":false,"kind":"develop","optional":false},{"id":1330052286,"package_name":"pycodestyle","ecosystem":"pypi","requirements":"2.9.1","direct":false,"kind":"develop","optional":false},{"id":1330052287,"package_name":"pyflakes","ecosystem":"pypi","requirements":"2.5.0","direct":false,"kind":"develop","optional":false},{"id":1330052288,"package_name":"pyparsing","ecosystem":"pypi","requirements":"3.0.9","direct":false,"kind":"develop","optional":false},{"id":1330052289,"package_name":"pyrsistent","ecosystem":"pypi","requirements":"0.18.1","direct":false,"kind":"runtime","optional":false},{"id":1330052290,"package_name":"pytest","ecosystem":"pypi","requirements":"7.1.2","direct":false,"kind":"develop","optional":false},{"id":1330052291,"package_name":"pytest-cov","ecosystem":"pypi","requirements":"2.12.1","direct":false,"kind":"develop","optional":false},{"id":1330052292,"package_name":"pytest-flake8","ecosystem":"pypi","requirements":"1.1.1","direct":false,"kind":"develop","optional":false},{"id":1330052293,"package_name":"pytest-forked","ecosystem":"pypi","requirements":"1.4.0","direct":false,"kind":"develop","optional":false},{"id":1330052294,"package_name":"pytest-xdist","ecosystem":"pypi","requirements":"2.5.0","direct":false,"kind":"develop","optional":false},{"id":1330052295,"package_name":"six","ecosystem":"pypi","requirements":"1.16.0","direct":false,"kind":"runtime","optional":false},{"id":1330052296,"package_name":"sortedcontainers","ecosystem":"pypi","requirements":"2.4.0","direct":false,"kind":"runtime","optional":false},{"id":1330052297,"package_name":"toml","ecosystem":"pypi","requirements":"0.10.2","direct":false,"kind":"develop","optional":false},{"id":1330052298,"package_name":"tomli","ecosystem":"pypi","requirements":"2.0.1","direct":false,"kind":"develop","optional":false},{"id":1330052299,"package_name":"toposort","ecosystem":"pypi","requirements":"1.7","direct":false,"kind":"runtime","optional":false},{"id":1330052300,"package_name":"typing-extensions","ecosystem":"pypi","requirements":"4.3.0","direct":false,"kind":"develop","optional":false},{"id":1330052301,"package_name":"zipp","ecosystem":"pypi","requirements":"3.8.1","direct":false,"kind":"develop","optional":false}]}],"score":15.366815417045721,"created_at":"2025-09-04T15:50:35.489Z","updated_at":"2025-10-07T08:06:57.587Z","avatar_url":"https://github.com/mvcisback.png","language":"Python","category":null,"sub_category":null,"monthly_downloads":13724,"funding_links":[],"readme_doi_urls":["https://doi.org/10.5281/zenodo.1405781"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/10693","html_url":"https://science.ecosyste.ms/projects/10693","bibtex_url":"https://science.ecosyste.ms/projects/10693/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/10693/export.apalike"}