package alt-ergo-lib

Type used to discriminate between limits from above or below.

This case occurs when we try to optimize a strict bound. For instance, we have a constraint of the form x < 2, there is no maximum for x but 2 is an upper bound. So 2 is a limit from below of the possible model values.

The value of the objective function has not yet been determined.