boolean_circuit::file_formats

Module aiger

Source

Functionsยง

from_aiger
Reads an AIGER file (in binary or text format) and returns the represented {Circuit}. Stores the order of the input gates.
to_aiger
Translates the Circuit to (text) AIGER format and writes it to the given writer.
to_aiger_binary
Translates the Circuit to binary AIGER format and writes it to the given writer.