Skip to main content

parse_wcnf_from_file

veripb_parser::wcnf_parser

Function parse_wcnf_from_file 

Source 
pub fn parse_wcnf_from_file<P>(
    filename: P,
) -> Result<(Formula, VarNameManager), ParserError>
where
    P: AsRef<Path>,
Expand description

Parse a formula from a WCNF file. The WCNF format is described in the MaxSAT Evaluation 2022.

This function creates a VarNameManager and calls the function parse_wcnf_from_file_given_var_manager(). See parse_wcnf_from_file_given_var_manager() for more details.