[][src]Function cnf_parser::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.