index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
blame
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
results
/
0212_assign_sub2.polyhedra.txt
blob: 677491d19aaa0a5c9c6888d3df5750ac744ce8f1 (
plain
) (
tree
)
bcde99f
1
Output: [|-x+8>=0; x+2>=0|]
