I had been using a modem installed on a Digi accelerator port to dial in to an SCO open server r5 server. On monday it quit working and I realy don't know how it was installed and configured. I have tested the modem on a PC and it works. The port the modem is connected to is ttyB06 and I have... (1 Reply)
I am trying to install openssh v2.9-p2 on Solaris 8. I already installed zlib and openssl, as required in INSTALL file. But when I issue ./configure to configure openssh v2.9-p2 for my platform ( I got the sources), it stops in the folowing message:
checking for OpenSSL directory... configure:... (1 Reply)
Hi all, i am new in solaris, i have a solris server Ultra 60, when i turn on the server show me the follow error:
Bad magic number in disk label
can`t open disk label package
Boot device: net File and args:
Timeouot waiting for ARP/RARP packet
Timeouot waiting for ARP/RARP packet
....
I... (3 Replies)
hi. I am newbie in Unix. I wanted to install Free BSD 5.2.1 to my computer which winXp was already installed. But i couldn't.
I chose Standard. Then it said you are going to use dos style fdisk partitioning. Then a window displayed begining like this.
WARNING: A geometry of 155127/16/63 for... (2 Replies)
Please can somebody help me. I'm trying to open ports 999, 1982 and 1983 but am not having much luck. I used
iptables -A INPUT -i eth0 -p tcp --sport 999 -m state --state NEW,ESTABLISHED -j ACCEPT
iptables -A INPUT -i eth0 -p tcp --sport 1982 -m state --state NEW,ESTABLISHED -j ACCEPT
iptables... (5 Replies)
I tried to install solaris 10 on a Netra T2000 server.
From prompt ok, I entered "boot cdrom - install" command.
Then, things seems to work normally. Except that nothing happend after displaying "Configuring the /devices".
It seems that, installation never arrived to configure /devices.
... (4 Replies)
Hi all,
I tried to install Sun Solaris 10 on a X-86 based machine. I have dedicated entire diskspace to create auto partition. My hardware config is below:
Main Board : Asus
Processor : Intel 945 , 3 G/Hz
RAM : 1 Gigs
Diskspace : 80 Gigs
When I install, installation goes successful.... (1 Reply)
I use DesktopBSD (FreeBSD + KDE) and regularly install this on our machines. Currently I go to the package manager to install the ports, but what shell command can I enter instead right after BSD install to install the ports?
Thanks in advance (3 Replies)
Hi everyone,
Hope u doing good.
I am trying to installl WebSphere Application Server(WAS) ND package, i got problem at initial level
I hope, the problem is with Mozilla browzer. Can anyone trobleshoot the problem
An error occurred while starting the launchpad for a WebSphere Application ... (0 Replies)
A problem with binding to local ports (22,23,80) in Fedora 13.
Ports look not used. sshd, webserver is not running.
I am using java remote connection manager. It is working fine with IE or Firefox in Windows with any user account.
With Fedora 13, it starts via Firefox with not root account and... (0 Replies)
Discussion started by: gogogo
0 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)