0316_cmp_eq.polyhedra.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0316_cmp_eq.polyhedra.txt

blob: abf553c3b6d59d117a80820f990bf2413cd4da85 (plain) (blame)

1
2

sources/0316_cmp_eq.c:3.11-23: [|-x+y=0; -x+20>=0; x-15>=0|]
Output: [|-x+30>=0; -y+20>=0; y-10>=0; x-15>=0|]