pub fn parse_sat_output(r: impl BufRead) -> Result<SatOutput, Error>
Try to parse SAT solver output. It ignores any lines that are not result or variable assignment.
