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