(fname)
return pysmt.smtlib.parser.get_formula_fname(fname)
Reads the SMT formula from the given file.

    This supports compressed files, if the fname ends in .bz2 .

    :param fname: Specify the filename
    :returns: An SMT formula
    :rtype: FNode
Reads the SMT formula from the given file.
Reads the SMT formula from the given file .
def read_smtlib(fname):
    """Reads the SMT formula from the given file.

    This supports compressed files, if the fname ends in .bz2 .

    :param fname: Specify the filename
    :returns: An SMT formula
    :rtype: FNode
    """
    return pysmt.smtlib.parser.get_formula_fname(fname)
def read_smtlib ( fname ) : return pysmt . smtlib . parser . get_formula_fname ( fname )