pub fn to_aiger(f: impl Write, circuit: &Circuit) -> Result<(), String>
Translates the Circuit to (text) AIGER format and writes it to the given writer.
Circuit