This is the command dfg2ascii that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
dfg2ascii - transforms DFG files into pretty printed ASCII files
SYNOPSIS
dfg2ascii <infile>
DESCRIPTION
dfg2ascii is a program to convert a problem input file in DFG format into pretty-printed
ASCII text. It prints out the axioms and the conjectures, in that order.
Use dfg2ascii online using onworks.net services