unicode_fol_kit.load_smtlib

unicode_fol_kit.load_smtlib(path)

Read an SMT-LIB2 (.smt2) file and parse_smtlib() its contents.

Parameters:

path (str)

Return type:

list