def METHOD_NAME():
    """
    Test inequality constraints applied to input variables.
    The sum of the input variables must be less than or equal to -5.0, and
    the second output variable must have a value of at least 70.0
    """
    network = load_network()
    # Input inequality constraint
    inputVars = network.inputVars[0][0]
    weights = np.ones(inputVars.shape)/inputVars.size
    averageInputValue = -5.0
    network.addInequality(inputVars, weights, averageInputValue)
    # Add lower bound on second output variable
    outputVars = network.outputVars[0].flatten()
    outputVar = outputVars[1]
    minOutputValue = 70.0
    network.setLowerBound(outputVar, minOutputValue)
    # Call to Marabou solver
    exitCode, vals, _ = network.solve(options = OPT, verbose = False)
    assert np.dot([vals[inVar] for inVar in inputVars], weights) <= averageInputValue
    assert vals[outputVar] >= minOutputValue