Este é o comando gringo 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
gringo - um fundamento para programas lógicos não terrestres
SINOPSE
gringo [OPÇÃO] ... [ARQUIVO] ...
DESCRIÇÃO
Esta página de manual documenta resumidamente o gringo comando.
gringo é um fundamento para programas de conjunto de respostas não aterrados. Os solucionadores de conjuntos de respostas atuais funcionam
em programas livres de variáveis. Portanto, é necessário um aterramento que, dado um programa de entrada com
variáveis de primeira ordem, calcula um programa básico equivalente (livre de variáveis).
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.
-dentro, --versão
Mostra a versão do programa.
Use o gringo online usando os serviços onworks.net