unicode_fol_kit.load_prover9

unicode_fol_kit.load_prover9(path)

Read a Prover9 / LADR input file and parse_prover9_problem() its contents.

Parameters:

path (str) – path to a Prover9 .in / .p9 input file.

Returns:

A list of Prover9Formula records.

Return type:

list