Formulate Linear Optimization Solver