In reply to dave_59:
Dave,
I understand that. I expect that once I do a ‘randomize with srfc_type==0’ , then automatically route_to_l1 should become 0. (which is what you’re saying and that is the acceptable solution to me)
The constraint solver somehow starts with route_to_l1==1 and then cannot satisfy the with clause and fails with a “constraint error”
Also, I added another question to the original post.
2. Is there a limit to the number of variables that can be solved together? The “srfc_type” var is a pivot for a lot of other variables in the class