dfg2tptp(1) on Linux
The text b5dd5e09744f, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
transforms DFG files into TPTP files
The text b5dd5e09744f, as Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge) shipped it.
transforms DFG files into TPTP files