Il s'agit de la commande gringo qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks à l'aide de 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
gringo - une base pour les programmes logiques non-sol
SYNOPSIS
gringo [OPTION]... [DOSSIER] ...
DESCRIPTION
Cette page de manuel documente brièvement les gringo commander.
gringo est une base pour les programmes d'ensembles de réponses non terrestres. Les solveurs d'ensembles de réponses actuels fonctionnent
sur des programmes sans variables. Par conséquent, une base est nécessaire qui, étant donné un programme d'entrée avec
variables du premier ordre, calcule un programme de base équivalent (sans variable).
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.
-dans, --version
Afficher la version du programme.
Utilisez gringo en ligne en utilisant les services onworks.net