index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
results
/
0219_assign_rel2.polyhedra.txt
blob: 08949e1c9072cdfffe5e214e7dedba87bd52df06 (
plain
) (
blame
)
1
Output: [|-x-2y+z=0; -x+5>=0; -y+10>=0; y-2>=0; x-1>=0|]
