(formula, fname)
Writes the given formula in Smt-Lib format to the given file.

    :param formula: Specify the SMT formula to be written
    :param fname: Specify the filename
Writes the given formula in Smt-Lib format to the given file.
Writes the given formula in Smt - Lib format to the given file .
def write_smtlib(formula, fname):
    """Writes the given formula in Smt-Lib format to the given file.

    :param formula: Specify the SMT formula to be written
    :param fname: Specify the filename
    """
    with open(fname, "w") as fout:
        script = pysmt.smtlib.script.smtlibscript_from_formula(formula)
        script.serialize(fout)
def write_smtlib ( formula , fname ) : with open ( fname , "w" ) as fout : script = pysmt . smtlib . script . smtlibscript_from_formula ( formula ) script . serialize ( fout )