Please enable JavaScript in your browser!
Inicio
Explorar
Ayuda
Iniciar sesión
tpinna
/
modelverse-thomas
forked de
yentl/modelverse
Seguir
2
Destacar
0
Fork
0
Archivos
Árbol:
0a7b31bda3
Ramas
Etiquetas
SearchStateCopyAll
master
new-sccd
thomas
yentl
v0.2
v0.1
modelverse-t...
/
interface
/
HUTN
/
test
/
operators
/
conjunction.al
conjunction.al
101 B
Histórico
Raw
1
2
3
Integer n
n=10 == 32-11*2 > 10 and 10 != 1 <= 1 // (10 == ((32-(11*2)) > 10)) and (10 != (1 <= 1))