boolean_circuit::file_formats

Module aiger

Source

Functionsยง

from_aiger
Reads an AIGER file (in binary or text format) and returns the output node.
to_aiger
Translates the output node (and the circuit it references) to (text) AIGER format and writes it to the given writer.
to_aiger_binary
Translates the output node (and the circuit it references) to binary AIGER format and writes it to the given writer.