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
dfg2otter
DFG2OTTER(1) SPASS DFG2OTTER(1)
NAME
dfg2otter - transforms DFG clause files into Otter format
SYNOPSIS
dfg2otter [options] <infile> <outfile>
DESCRIPTION
dfg2otter is a C-program to transform problem input files in DFG syntax into Otter syntax. It accepts all options from SPASS, although only
a subset has an effect on translation.
dfg2otter negates conjecture formulae of the SPASS input file before printing the Otter usable list. The SPASS conjecture formula list is
translated into a disjunction of the negated single conjectures. If the SPASS input file consits of clauses, these are not modified.
SEE ALSO
checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter.pl(1), SPASS(1)
AUTHORS
Thomas Hillenbrand, Dalibor Topic and Christoph Weidenbach
Contact : spass@mpi-inf.mpg.de
perl v5.10.0 2010-02-23 DFG2OTTER(1)
