Aceasta este comanda coala.bin care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
coala.bin - un compilator versatil din limbaje de acțiune pentru a răspunde programelor stabilite
REZUMAT
coala.bin [Opțiuni]fişier
DESCRIERE
Această pagină de manual documentează pe scurt coala.bin comanda.
coala.bin este un compilator versatil din limbaje de acțiune pentru a răspunde programelor stabilite. Aceasta
acceptă diferite codificări, variabile și interogări în stil LTL. Traduce o acțiune
limba într-un program logic sub semantica setului de răspuns. După ce a fost pus la pământ de
lparse or Gringo, programul logic poate fi rezolvat printr-un solutor de set de răspunsuri, cum ar fi incuietoare.
În momentul de faţă coala.bin este capabil să traducă limbajul de acțiune AL, B, C, un subset al lui C+
și limbajul de acțiune CTAID. Tipul de limbaj de intrare poate fi specificat cu o comandă
opțiunea de linie.
OPŢIUNI
Aceste programe urmează sintaxa obișnuită a liniei de comandă GNU, cu opțiuni lungi începând cu
două liniuțe (`-'). Un rezumat al opțiunilor este inclus mai jos. Pentru o descriere completă,
vezi potasco-ghidul.
-h, --Ajutor
Afișează rezumatul opțiunilor.
Utilizați coala.bin online folosind serviciile onworks.net