Unix and Linux Discussions Tagged with problem |
|
Thread / Thread Starter |
Last Post |
Replies |
Views |
Forum |
|
|
|
1 |
1,914 |
UNIX for Advanced & Expert Users |
|
|
|
1 |
7,401 |
AIX |
|
|
|
3 |
3,405 |
Linux |
|
|
|
2 |
3,840 |
Solaris |
|
|
|
4 |
3,550 |
Shell Programming and Scripting |
|
|
|
9 |
7,400 |
HP-UX |
|
|
|
1 |
2,633 |
Shell Programming and Scripting |
|
|
|
1 |
2,309 |
UNIX for Dummies Questions & Answers |
|
|
|
19 |
6,383 |
Shell Programming and Scripting |
|
|
|
1 |
4,054 |
Linux |
|
|
|
7 |
4,165 |
Solaris |
|
|
|
1 |
6,684 |
UNIX for Advanced & Expert Users |
|
|
|
7 |
9,451 |
UNIX for Advanced & Expert Users |
|
|
|
1 |
1,554 |
Shell Programming and Scripting |
|
|
|
1 |
1,478 |
Shell Programming and Scripting |
|
|
|
23 |
9,652 |
Shell Programming and Scripting |
|
|
|
0 |
1,179 |
UNIX and Linux RSS News |
|
|
|
0 |
2,195 |
UNIX for Advanced & Expert Users |
|
|
|
5 |
7,126 |
AIX |
|
|
|
4 |
3,997 |
Shell Programming and Scripting |
DFG2TPTP(1) SPASS DFG2TPTP(1)
NAME
dfg2tptp - transforms DFG files into TPTP files
SYNOPSIS
dfg2tptp <input-file> <output-file>
DESCRIPTION
dfg2tptp is a program which converts a problem input file in DFG format into a problem input file in TPTP format. The TPTP problem format
is used by the TPTP library of test problems for automated theorem proving, available at http://www.math.miami.edu/~tptp/. Various tools
exist to convert problems in TPTP format into input files for other theorem provers.
SEE ALSO
checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)
AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : spass@mpi-inf.mpg.de
perl v5.10.0 2010-02-23 DFG2TPTP(1)