Function from_aiger

Source
pub fn from_aiger(f: impl Read) -> Result<Node, String>
Expand description

Reads an AIGER file (in binary or text format) and returns the output node.

Does not support latches or more than one output node.