In reply to dave_59:
Even with signed’(a-b-c)>0, I get results as:
a=31441, b=40149, c=35912
a=35754, b=62618, c=12990
a= 688, b= 9979, c=33886
a=14944, b=50266, c= 2779
a=34788, b=60539, c=17031
a=24745, b=49591, c=25592
a=30526, b=51056, c=35862
How are these cases valid? ‘a’ needs to be bigger than both b and c right?
Does compound expressions not work for SV constraints?