(supported_logics, logic)
return min(res)
Returns the smaller supported logic that is greater or equal to
    the given logic. Raises NoLogicAvailableError if the solver
    does not support the given logic.
Returns the smaller supported logic that is greater or equal to
    the given logic. Raises NoLogicAvailableError if the solver
    does not support the given logic.
Returns the smaller supported logic that is greater or equal to the given logic . Raises NoLogicAvailableError if the solver does not support the given logic .
def get_closer_logic(supported_logics, logic):
    """
    Returns the smaller supported logic that is greater or equal to
    the given logic. Raises NoLogicAvailableError if the solver
    does not support the given logic.

    """
    res = [l for l in supported_logics if logic <= l]
    if len(res) == 0:
        raise NoLogicAvailableError("Logic %s is not supported" % logic)
    return min(res)
def get_closer_logic ( supported_logics , logic ) : res = [ l for l in supported_logics if logic <= l ] if len ( res ) == 0 : raise NoLogicAvailableError ( "Logic %s is not supported" % logic ) return min ( res )