blob: 43618815a9f473deb75cc079e6fd0e826328d119 (
plain) (
tree)
|
|
sources/0324_if_not.c:3.25-37: [|-5x+6y-110>=0; -x+20>=0; -y+40>=0; y-30>=0;
x-10>=0|]
sources/0324_if_not.c:4.7-19: [|-x+20>=0; -y+34>=0; y-30>=0; x-15>=0|]
Output: [|-x+20>=0; -y+40>=0; y-30>=0; x-10>=0|]
|