5 More Discussions You Might Find Interesting
1. Hardware
Hello everybody,
I didn't know were to post this, so i posted here in hardware section.
I'm having some troubles while trying to interconnect two pc's via modem (soft fax modem, RJ-11 jack). One is a Handheld PC (HP Jornada 728) with a single fax modem slot, and the other computer is a PC with... (6 Replies)
Discussion started by: Zykl0n-B
6 Replies
2. AIX
Does anyone know of any personal computers or very small servers capable of running AIX?
I would like to buy one and set it up at home so I can play and learn at the same time. (3 Replies)
Discussion started by: svalenciatech
3 Replies
3. UNIX for Dummies Questions & Answers
Preparing to get my first home PC via custom-build shop. It will have three hard disk drives...one to be used only for trial of various OSs. Was hoping to test out Haiku, but according to 'supported architectures' table at Wikipedia ("Comparison of open source operating systems"), it only works on... (3 Replies)
Discussion started by: Varsel
3 Replies
4. News, Links, Events and Announcements
FYI:
http://www.cnn.com/2003/TECH/ptech/09/24/amd.athlon.ap/index.html (0 Replies)
Discussion started by: Neo
0 Replies
5. UNIX for Dummies Questions & Answers
Hello, everyone. I have a little favor to ask. Me and my friends decided sharing an ADSL line with four PCs.
PC no.1: Desktop, two netcard (2000 and 8139), Mandrake 9.0
PC no.2: Acer notebook, PC Card, RTL-8139C/8139C+, MS 98 + Win 2000 Pro
PC no.3: Desktop, net card 8139, WindowME + Win 2000... (1 Reply)
Discussion started by: HOUSCOUS
1 Replies
LEARN ABOUT DEBIAN
dfg2tptp
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)
