(target_logic)
return get_closer_logic(SMTLIB2_LOGICS, target_logic)
Returns the closer logic supported by SMT-LIB 2.0.
Returns the closer logic supported by SMT-LIB 2.0.
Returns the closer logic supported by SMT - LIB 2 . 0 .
def get_closer_smtlib_logic(target_logic):
    """Returns the closer logic supported by SMT-LIB 2.0."""
    if target_logic == QF_BOOL:
        return QF_UF
    if target_logic == BOOL:
        return LRA
    return get_closer_logic(SMTLIB2_LOGICS, target_logic)
def get_closer_smtlib_logic ( target_logic ) : if target_logic == QF_BOOL : return QF_UF if target_logic == BOOL : return LRA return get_closer_logic ( SMTLIB2_LOGICS , target_logic )