给出一个使用CPLEX绝对值表达的例子？

CPLEX（ILOG CPLEX Optimization Studio）是一款强大的线性规划、整数规划和混合整数优化软件。在数学编程中，绝对值通常用于表示某个量的非负性质，例如约束某些变量不能取负值。下面是一个简单的例子，假设我们有一个线性规划模型，目标是最小化成本，并需要保证所有的项目完成时间都不超过给定的天数，这里绝对值就派上用场了。

from cplex import *

# 创建Cplex实例
cplex = Cplex()

# 定义变量 x_i 表示第i个项目的工作量
x = [cplex.variables.add(lb=0, ub=None, name=f"x{i}") for i in range(num_projects)]

# 定义常数 T 总共有的工作日
T = num_days

# 目标函数，最小化总成本
objective = cplex.linear_constraints.add(
    lin_expr=[(1, x)], # 线性项系数和变量
    senses="E",        # 最小化
    rhs=costs         # 右手边是总成本
)

# 使用绝对值约束确保每个项目的完成时间不超过T
absolute_value_constraint = cplex.linear_constraints.add(
    lin_expr=[(-1, x[i]), (1, T)] for i in range(num_projects), # 构建绝对值表达式
    senses=["L"],        # 非负，即大于等于0
    rhs=0                # 左边是0，意味着每个项目的完成时间等于或小于T
)

# 解决模型
cplex.solve()

在这个例子中，`cplex.linear_constraints.add(...)`用于添加线性表达式的绝对值形式，它会生成等价的两个线性约束，一个是变量本身的约束（x >= 0），另一个是变量与绝对值界限的关系（|x| <= T）。