/algorithms provided by the PPL/
See the
.IR "GNU Linear Programming Kit: Reference Manual (Version 4.31)"
for information on the MPS format.

[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 options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and
\fB\-t\fR (\fB\-\-timings\fR) are not available on some platforms.

[SEE ALSO]
.BR ppl-config(1)
.sp
Andrew Makhorin.
.IR "GNU Linear Programming Kit: Reference Manual (Version 4.31)".

