(target_logic)
return get_closer_logic(PYSMT_LOGICS, target_logic)
Returns the closer logic supported by PYSMT.
Returns the closer logic supported by PYSMT.
Returns the closer logic supported by PYSMT .
def get_closer_pysmt_logic(target_logic):
    """Returns the closer logic supported by PYSMT."""
    return get_closer_logic(PYSMT_LOGICS, target_logic)
def get_closer_pysmt_logic ( target_logic ) : return get_closer_logic ( PYSMT_LOGICS , target_logic )