Please enable JavaScript in your browser!
Domů
Procházet
Nápověda
Přihlásit se
tpinna
/
modelverse-thomas
rozštěpen z
yentl/modelverse
Sledovat
2
Oblíbit
0
Rozštěpit
0
Soubory
Strom:
0a7b31bda3
Větve
Značky
SearchStateCopyAll
master
new-sccd
thomas
yentl
v0.2
v0.1
modelverse-t...
/
interface
/
HUTN
/
test
/
operators
/
conjunction.al
conjunction.al
101 B
Historie
Surový
1
2
3
Integer n
n=10 == 32-11*2 > 10 and 10 != 1 <= 1 // (10 == ((32-(11*2)) > 10)) and (10 != (1 <= 1))