def geq(lhs, rhs):
    return constraint(lhs, GT, rhs)
def eq(lhs, rhs):
    return constraint(lhs, EQ, rhs)
def leq(lhs, rhs):
    return constraint(lhs, LT, rhs)
Example #4
0
def geq(lhs, rhs):
    return constraint(lhs, GT, rhs)
Example #5
0
def eq(lhs, rhs):
    return constraint(lhs, EQ, rhs)
Example #6
0
def leq(lhs, rhs):
    return constraint(lhs, LT, rhs)