blob: 691b7ac3a72bf24eac3bc7e90db95895b13e3f9c (
plain) (
tree)
|
|
sources/0322_if_and.c:3.22-34: [|-x+20>=0; -y+40>=0; y-35>=0; x-15>=0|]
sources/0322_if_and.c:4.7-19: [|-x-y+54>=0; -x+20>=0; -y+40>=0; y-30>=0;
x-10>=0|]
Output: [|-x+20>=0; -y+40>=0; y-30>=0; x-10>=0|]
|