Lower bound
lower_bound is a property of all real ATOM instances in a MODEL. It is the lower bound, or minimum, value that the solver is permitted to assign to the atom. Its value can be constrained by the user to improve the convergence of a solver, or to prevent non-physical solutions from being found.