Este es el comando dfg2otter que se puede ejecutar en el proveedor de alojamiento gratuito de OnWorks utilizando una de nuestras múltiples estaciones de trabajo en línea gratuitas, como Ubuntu Online, Fedora Online, emulador en línea de Windows o emulador en línea de MAC OS.
PROGRAMA:
NOMBRE
dfg2otter: transforma archivos de cláusulas DFG en formato Otter
SINOPSIS
dfg2otter [opciones]
DESCRIPCIÓN
dfg2otter es un programa en C para transformar archivos de entrada de problemas en DFG sintaxis en Nutria sintaxis.
Acepta todas las opciones de ESPACIO, aunque solo un subconjunto tiene efecto sobre la traducción.
dfg2otter niega las fórmulas de conjetura del ESPACIO archivo de entrada antes de imprimir la nutria
lista utilizable. los ESPACIO lista de fórmulas de conjeturas se traduce en una disyunción de la
conjeturas individuales negadas. Si el ESPACIO El archivo de entrada consta de cláusulas, estas no son
modificado.
Use dfg2otter en línea usando los servicios de onworks.net
