Il s'agit de la commande tptp2dfg 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
tptp2dfg - transforme les fichiers DFG en fichiers TPTP
SYNOPSIS
tptp2dfg [-comprendre]
DESCRIPTION
tptp2dfg est un programme qui convertit un fichier d'entrée problématique en TPTP formater dans un problème
fichier d'entrée dans DFG format. le TPTP le format du problème est utilisé par la bibliothèque de test TPTP
problèmes pour la preuve automatisée de théorèmes, disponible sur http://www.math.miami.edu/~tptp/.
OPTIONS
tptp2dfg prend en charge les options de ligne de commande suivantes.
-comprendre
Cette option permet l'expansion des directives include dans les fichiers tptp. Si tout
Les directives d'inclusion TPTP dans le fichier d'entrée sont remplacées par le contenu du fichier respectif
pendant la traduction. Si elle n'est pas définie, les directives d'inclusion TPTP sont traduites en DFG
inclure des directives. La valeur par défaut est désactivée.
Utilisez tptp2dfg en ligne en utilisant les services onworks.net
