Data.LinearProgram.LinExpr

data LinExpr v c

solve

substituteExpr

simplifyExpr

constTerm

coeffTerm

funcToExpr