add_set_with_min_constraint; to be documented