Function parse_cnf

pub fn parse_cnf<I, O>(
    input: &mut I,
    output: &mut O,
) -> Result<(), Error<<O as Output>::Error>>
where
    I: Input,
    O: Output,

Parses a CNF formatted input stream into the given output.

Errors

• If the CNF input is malformed.
• If the output triggers a custom error.