Handle other inequalities in constraints

[ahenshaw]

Currently only >= constraints are allowed. The <= constraint can be handled by negating the constraint. Equality (=) can be handled by adding a constraint that is the negation of the original.