/same polyhedron/
See the
.IR "cddlib Reference Manual"
for information on the file formats.

[AUTHOR]
See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.

[COPYRIGHT]
Copyright (C) 2001\-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010\-2022 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.

[AVAILABILITY]
The latest version of the Parma Polyhedra Library and all the documentation
is available at \fBhttp://bugseng.com/products/ppl/\fR .

[NOTES]
The option \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) is not available
on some platforms.

[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 .


