Function parse_cnf_from_file 

pub fn parse_cnf_from_file<P>(
    filename: P,
) -> Result<(Formula, usize), ParserError>
where
    P: AsRef<Path>,

Parse a formula from a DIMACS CNF file.