Questo è il comando coala.bin che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
coala.bin - un compilatore versatile dai linguaggi d'azione ai programmi di risposta
SINOSSI
coala.bin [opzioni]filetto
DESCRIZIONE
Questa pagina di manuale documenta brevemente il coala.bin comando.
coala.bin è un compilatore versatile che spazia dai linguaggi d'azione ai programmi di risposta. Esso
supporta diverse codifiche, variabili e query in stile LTL. Traduce un'azione
linguaggio in un programma logico sotto la semantica del set di risposte. Dopo essere stato messo a terra da
lparse or gringo, il programma logico può essere risolto da un risolutore di insiemi di risposte come fermaglio.
Al momento coala.bin è in grado di tradurre il linguaggio d'azione AL, B, C, un sottoinsieme di C+
e il linguaggio d'azione CTAID. Il tipo di lingua di input può essere specificato con un comando
opzione di linea.
VERSIONI
Questi programmi seguono la consueta sintassi della riga di comando GNU, con opzioni lunghe che iniziano con
due trattini (`-'). Di seguito è riportato un riepilogo delle opzioni. Per una descrizione completa,
vedere la guida potassico.
-H, --Aiuto
Mostra il riepilogo delle opzioni.
Utilizza coala.bin online utilizzando i servizi onworks.net
