rate_common::parser

Function run_parser_on_formula

Source 
pub fn run_parser_on_formula(
    parser: &mut Parser,
    formula_file: &str,
    proof_file: &str,
    clause_ids: &mut HashTable,
)
Expand description

Parse a formula.

This requires the proof file as well to determine the proof format, which is necessary for initialization of the witness database.