added docs to leq_constraint