.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.40.11.
.TH PPL_LCDD "1" "February 2016" "ppl_lcdd 1.2" "User Commands"
.SH NAME
ppl_lcdd \- a PPL-based program for vertex/facet enumeration of convex polyhedra
.SH SYNOPSIS
.B ppl_lcdd
[\fIOPTION\fR]... [\fIFILE\fR]
.SH DESCRIPTION
Reads an H\-representation (resp., a V\-representation) of a polyhedron
and generates a V\-representation (resp., an H\-representation) of
the same polyhedron.
.PP
See the
.IR "cddlib Reference Manual"
for information on the file formats.
.SH OPTIONS
.TP
\fB\-CSECS\fR, \fB\-\-max\-cpu\fR=\fISECS\fR
limits CPU usage to SECS seconds
.TP
\fB\-RMB\fR, \fB\-\-max\-memory\fR=\fIMB\fR
limits memory usage to MB megabytes
.TP
\fB\-h\fR, \fB\-\-help\fR
prints this help text to stdout
.TP
\fB\-oPATH\fR, \fB\-\-output\fR=\fIPATH\fR
appends output to PATH
.TP
\fB\-t\fR, \fB\-\-timings\fR
prints timings to stderr
.TP
\fB\-v\fR, \fB\-\-verbose\fR
produces lots of output
.TP
\fB\-V\fR, \fB\-\-version\fR
prints version information to stdout
.TP
\fB\-cPATH\fR, \fB\-\-check\fR=\fIPATH\fR
checks if the result is equal to what is in PATH
.SH AVAILABILITY
The latest version of the Parma Polyhedra Library and all the documentation
is available at \fBhttp://bugseng.com/products/ppl/\fR .
.SH NOTES
The option \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) is not available
on some platforms.
.SH AUTHOR
See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.
.SH "REPORTING BUGS"
Report bugs to <ppl\-devel@cs.unipr.it>.
.SH COPYRIGHT
Copyright (C) 2001\-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010\-2016 BUGSENG srl (http://bugseng.com)
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
obtain the copying conditions.  There is NO warranty; not even for
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
.SH "SEE ALSO"
.BR ppl-config(1)
.sp
Komei Fukuda.
.IR "cddlib Reference Manual",
available (in several formats) at
\fBhttp://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html\fR .