Este é o comando coala.bin que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
coala.bin - um compilador versátil de linguagens de ação para responder a programas de conjunto
SINOPSE
coala.bin [opções]lima
DESCRIÇÃO
Esta página de manual documenta resumidamente o coala.bin comando.
coala.bin é um compilador versátil de linguagens de ação para responder a programas definidos. Isto
suporta diferentes codificações, variáveis e consultas de estilo LTL. Ele traduz uma ação
linguagem em um programa lógico sob a semântica do conjunto de respostas. Depois de ser aterrado por
escasso or gringo, o programa lógico pode ser resolvido por um solucionador de conjunto de respostas, como fecho.
No momento coala.bin é capaz de traduzir a linguagem de ação AL, B, C, um subconjunto de C +
e a linguagem de ação CTAID. O tipo de idioma de entrada pode ser especificado com um comando
opção de linha.
OPÇÕES
Esses programas seguem a sintaxe de linha de comando GNU usual, com longas opções começando com
dois travessões (`- '). Um resumo das opções está incluído abaixo. Para uma descrição completa,
veja o guia potassco.
-h, --Socorro
Mostra o resumo das opções.
Use coala.bin online usando serviços onworks.net