The AIGER And-Inverter Graph (AIG) Format Version 20071012
Armin Biere · University Library Linz repository (Johannes Kepler Universitat Linz) · 2021
This report describes the AIG file format as used by the AIGER library. The purpose of this report is not only to motivate and document the format, but also to allow independent implementations of writers and readers by giving precise and unambiguous definitions.