tests/results/0324_if_not.polyhedra.txt


1
2
3
4

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|]