index
:
SemVerif-Projet.git
master
Projet de Sémantique
summary
refs
log
blame
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
results
/
0004_init_2var2.polyhedra.txt
blob: 5b868c58ceaa8d8765f7039a4bf2f8db06fe51d8 (
plain
) (
tree
)
bcde99f
1
Output: [|y-12=0; x-9=0|]