dfg2otter.pl(1) [debian man page]

DFG2OTTER.PL(1) 						       SPASS							   DFG2OTTER.PL(1)

NAME

       dfg2otter - transforms DFG clause files into Otter format including Otter options

SYNOPSIS

       dfg2otter.pl [options] [infile] [outfile]

DESCRIPTION

       dfg2otter.pl is a Perl wrapper for the dfg2otter. Mainly, it adds a set of OTTER parameters to the transformation result of dfg2otter.
       Additionally, input/output redirection is simpler: If no file arguments are given, dfg2otter.pl reads from stdin and writes to stdout. If
       one file argument is given, dfg2otter.pl read from that file, and if a second argument is present, dfg2otter.pl writes to it.

OPTIONS

       -t n
	   Sets the time limit for the OTTER proof attempt to n seconds.

SEE ALSO

       checkstat(1), filestat(1), pcs(1), pgen(1), rescmp(1), tpform(1), tpget(1), deprose(1), dfg2otter(1), SPASS(1)

AUTHORS

       Thorsten Engel and Christian Theobalt.

       Contact : spass@mpi-inf.mpg.de

perl v5.10.0							    2010-02-23							   DFG2OTTER.PL(1)

cueconvert(1)						      General Commands Manual						     cueconvert(1)

NAME

       cueconvert - convert files between CUE and TOC formats

SYNOPSIS

       cueconvert [ -i format | --input-format=format ] [ -o format | --output-format=format ] [ infile [ outfile ] ]
       cueconvert --help

DESCRIPTION

       cueconvert  coverts files between the CUE and TOC formats, each of which are commonly used by compact disc ripping software to denote track
       breakpoints and other data.

       The operands are optional; if infile is not specified, cueconvert reads from standard input, and if outfile is not specified, it writes	to
       standard output.

       If no filenamess are specified, standard input is used, and an input format option must be specified.  The complementary format is used for
       output.

       If filenames are provided, but format options are not specified, the input and output formats will be guessed based on each filename's suf-
       fix (e.g., .cue or .toc).  This heuristic is case-insensitive.

OPTIONS

       -h, --help
	      displays a usage message and exits.

       -i format, --input-format=format
	      sets the expected format of the input file to format.

       -o format, --output-format=format
	      sets the format of the generated output file to format.

       The option argument format must be either cue or toc.

EXIT STATUS

       cueconvert exits with status zero if it successfully coverts the input file, and nonzero if there were problems.

AUTHOR

       Cuetools was written by Svend Sorensen.	Branden Robinson contributed fixes and enhancements to the utilities and documentation.

SEE ALSO

       cuebreakpoints(1), cueprint(1)

																     cueconvert(1)