{"apiVersion":"1.0","data":{"id":"aiger","name":"AIGER","owner":"Armin Biere","source":"https://github.com/arminbiere/aiger","licenseSource":"https://github.com/arminbiere/aiger/blob/master/LICENSE","license":"MIT","description":"A format, library, and utilities for And-Inverter Graphs.","domains":["Digital"],"kind":"Model/Library","tasks":["Verification"],"language":"C","target":"AIG model interchange and utilities","toolchain":"See upstream documentation","tags":["AIG","Formal","Model checking","Library"],"discoverySources":["https://github.com/arminbiere/aiger","https://github.com/YosysHQ/oss-cad-suite-build"],"evidence":{"readmeUrl":"https://raw.githubusercontent.com/arminbiere/aiger/master/README","licenseUrl":"https://raw.githubusercontent.com/arminbiere/aiger/master/LICENSE","licenseSha256":"ce1f46ec59457dd33714439e222b31f53c331bfa65d269f6ffc408caefce3014","checkedAt":"2026-09-26T00:00:00Z","notes":"Fetched upstream README and license body; not run."},"type":"Model & Library","stage":"VERIFY","sourceLabel":"github.com/arminbiere/aiger","status":"External index","activitySource":"https://raw.githubusercontent.com/arminbiere/aiger/master/README","activity":"See upstream documentation for releases and maintenance status.","cataloged":"Metadata checked 2026-09-26","licenseScope":"Fetched upstream README and license body; not run.","accent":"blue","glyph":"AI","passport":null,"links":{"self":"/api/v1/resources/aiger","html":"/repo/aiger","evidence":"/api/v1/resources/aiger/evidence","runs":"/api/v1/resources/aiger/runs"}},"attribution":{"catalog":"https://hub.vlsi.kr","methodology":"https://hub.vlsi.kr/methodology","note":"Source documentation, license evidence, Hub reproduction and silicon reports are separate claims."}}