parse_opb_from_file

veripb_parser::opb_parser

Function parse_opb_from_file 

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

Parse an OPB file into Formula of constraints and store the names of the variables in a VarNameManager.

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