summaryrefslogblamecommitdiff
path: root/tests/results/0214_assign_mul2.polyhedra.txt
blob: 8994ea988eee2915f80109df9c2de60278da0d8d (plain) (tree)
1
                            
Output: [|-x+27>=0; x-2>=0|]