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