.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.40.11.
.TH PPL_LPSOL "1" "February 2016" "ppl_lpsol 1.2" "User Commands"
.SH NAME
ppl_lpsol \- a PPL-based mixed integer programming problem solver
.SH SYNOPSIS
.B ppl_lpsol
[\fIOPTION\fR]... [\fIFILE\fR]
.SH DESCRIPTION
Reads a file in MPS format and attempts solution using the optimization
algorithms provided by the PPL.
.PP
See the
.IR "GNU Linear Programming Kit: Reference Manual (Version 4.31)"
for information on the MPS format.
.SH OPTIONS
.TP
\fB\-c\fR, \fB\-\-check\fR[=\fITHRESHOLD\fR] checks the obtained results using GLPK;
optima are checked with a tolerance of
THRESHOLD (default 1e\-09);  input data
are also perturbed the same way as GLPK does
.TP
\fB\-i\fR, \fB\-\-incremental\fR
solves the problem incrementally
.TP
\fB\-m\fR, \fB\-\-min\fR
minimizes the objective function
.TP
\fB\-M\fR, \fB\-\-max\fR
maximizes the objective function (default)
.TP
\fB\-n\fR, \fB\-\-no\-optimization\fR
checks for satisfiability only
.TP
\fB\-r\fR, \fB\-\-no\-mip\fR
consider integer variables as real variables
.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\-e\fR, \fB\-\-enumerate\fR
use the (expensive!) enumeration method
.TP
\fB\-pM\fR, \fB\-\-pricing\fR=\fIM\fR
use pricing method M for simplex (assumes \fB\-s\fR);
M is an int from 0 to 2, default 0:
0 \fB\-\-\fR> steepest\-edge using floating point
1 \fB\-\-\fR> steepest\-edge using exact arithmetic
2 \fB\-\-\fR> textbook
.TP
\fB\-s\fR, \fB\-\-simplex\fR
use the simplex method
.TP
\fB\-t\fR, \fB\-\-timings\fR
prints timings to stderr
.TP
\fB\-v\fR, \fB\-\-verbosity\fR=\fILEVEL\fR
sets verbosity level (from 0 to 4, default 3):
0 \fB\-\-\fR> quiet: no output except for errors and
.IP
explicitly required notifications
.IP
1 \fB\-\-\fR> solver state only
2 \fB\-\-\fR> state + optimal value
3 \fB\-\-\fR> state + optimal value + optimum location
4 \fB\-\-\fR> lots of output
.TP
\fB\-V\fR, \fB\-\-version\fR
prints version information to stdout
.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 options \fB\-CSECS\fR (\fB\-\-max\-cpu\fR=\fISECS\fR) and
\fB\-t\fR (\fB\-\-timings\fR) are 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 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
Andrew Makhorin.
.IR "GNU Linear Programming Kit: Reference Manual (Version 4.31)".