You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Calling the sum constraint after the size constraints seems to work well, which I think is due to the size being solved in a RandSet before the sum RandSet. Calling the sum constraint before appears to use the previous or initialized (maximum?) size of the randsz_list_t.
Calling the sum constraint after the size constraints seems to work well, which I think is due to the size being solved in a RandSet before the sum RandSet. Calling the sum constraint before appears to use the previous or initialized (maximum?) size of the randsz_list_t.
This runs til the sum isn't correct:
Output:
The text was updated successfully, but these errors were encountered: