Function rate_common::parser::run_parser

pub fn run_parser(
    parser: &mut Parser, 
    formula: &str, 
    proof_file: &str, 
    clause_ids: &mut impl HashTable
)

Parse a formula and a proof file using a given hash table.