summaryrefslogblamecommitdiff
path: root/tests/results/0207_assign_add2.polyhedra.txt
blob: 9ea10ba31ba18f04533a8d0c9f02c16f54d9069f (plain) (tree)
1
                             
Output: [|-x+15>=0; x-11>=0|]