pub fn from_aiger(f: impl Read) -> Result<Circuit, String>
Reads an AIGER file (in binary or text format) and returns the represented {Circuit}. Stores the order of the input gates.
Does not support latches.