Il s'agit de la commande reify 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
reify - un petit utilitaire qui réifie les programmes logiques
SYNOPSIS
réifier [OPTION] ...
DESCRIPTION
Cette page de manuel documente brièvement les réifier commander.
réifier est un petit utilitaire qui réifie les programmes logiques, donnés sur l'entrée standard dans smodels
format. Le gringo grounder produit le format smodels par défaut. Le résultat de reify est un
ensemble de faits donnés sur la sortie standard qui peuvent être traités plus avant avec gringo.
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.
Utiliser reify en ligne à l'aide des services onworks.net
