def create_geq(lh_op, rh_op=None, constr_id=None):
 if (rh_op is not None):
  rh_op = neg_expr(rh_op)
 return create_leq(neg_expr(lh_op), rh_op, constr_id)

def create_geq ( lh_op , rh_op = None , constr_id = None ) : if ( rh_op is not None ) : rh_op = neg_expr ( rh_op ) return create_leq ( neg_expr ( lh_op ) , rh_op , constr_id )
creates an internal greater than or equal constraint .