Il s'agit de la commande coala.bin qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
coala.bin - un compilateur polyvalent de langages d'action pour répondre à des programmes définis
SYNOPSIS
charbona.bin [choix]filet
DESCRIPTION
Cette page de manuel documente brièvement les charbona.bin commander.
charbona.bin est un compilateur polyvalent de langages d'action pour répondre à des programmes définis. Ce
prend en charge différents encodages, variables et requêtes de style LTL. Il traduit une action
langage dans un programme logique sous la sémantique de l'ensemble de réponses. Après avoir été cloué au sol par
l'analyse or gringo, le programme logique peut être résolu par un solveur d'ensemble de réponses tel que fermoir.
Pour le moment, charbona.bin est capable de traduire le langage d'action AL, B, C, un sous-ensemble de C+
et le langage d'action CTAID. Le type de langue d'entrée peut être spécifié avec une commande
option de ligne.
OPTIONS
Ces programmes suivent la syntaxe habituelle de la ligne de commande GNU, avec de longues options commençant par
deux tirets (`-'). Un résumé des options est inclus ci-dessous. Pour une description complète,
voir le potassco-guide.
-h, --Aidez-moi
Afficher le résumé des options.
Utilisez coala.bin en ligne en utilisant les services onworks.net