Il s'agit de la commande cudf2lp 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
cudf2lp - un préprocesseur pour les documents CUDF
SYNOPSIS
cudf2lp [OPTION]... [DOSSIER]
DESCRIPTION
cudf2lp simplifie une spécification CUDF donnée et la convertit en un ensemble de faits adapté à
être traité avec un grounder et un solveur ASP - par exemple, gringode Géographie (1) et avec la fermoir(1). Il est
destiné à être appelé par aspic(1), mais peut également être utilisé indépendamment.
Il lit à partir du FICHIER donné et de l'entrée standard s'il est omis.
OPTIONS
cudf2lp prend en charge les options suivantes :
-h, --Aidez-moi
imprimer le texte d'aide
-v, --version
version imprimée et informations de licence
-V, --verbeux[=N]
régler le niveau de verbosité sur N ou le maximum si omis
-c CRITÈRES, --Critères=CRITÈRES
prétraitement pour des critères d'optimisation spécifiques (aucun par défaut) :
CRITÈRES: aucun | paranoïaque | tendance | CRIT\(','CRIT\)*
CRIT : SIGNEZ compter (SET) |
| signer somme(SET,ATTR)
| signer unsat_recommends(SET)
| signer aligné(SET,ATTR,ATTR)
| signer pasà jour(SET)
SIGNEZ : '+' | '-'
ATTR : nom de l'attribut CUDF
SET : solution | changé | nouveau | supprimé | haut | vers le bas
| demande d'installation | demande de mise à niveau | demander
pour une compatibilité descendante, les alias suivants peuvent être utilisés :
nouveau = compter (nouveau)
supprimé = compter (supprimé)
modifié = compter (modifié)
pas à jour = pas à jour (solution)
unsat_recommends = unsat_recommends (solution)
somme(nom) = somme(nom,solution)
--tout ajouter
désactiver le prétraitement et ajouter tous les packages
Utilisez cudf2lp en ligne en utilisant les services onworks.net
