Function parse 

pub fn parse(input: &str) -> Result<DimacsCnf, DimacsError>

Parse a DIMACS CNF string. See the module docs for the fail-closed contract.