Crate aiger

AIGER (And-Inverter graph) file format parser

Structs

Header	The data contained in the header of an AIGER file.
Literal	A literal value from an AIGER file, encoding both a variable index and "sign bit" which determines if the variable is negated/inverted.
Reader	A wrapper around a type implementing io::Read which reads an AIGER header and AIGER records.
RecordsIter	An iterator over the records of an AIGER file.

Enums

Aiger	A record from an AIGER file.
AigerError	An error which occurs while parsing an AIGER file.
Symbol	The type specifier for a symbol table entry.