Function run_parser

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

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