PPL_LPSOL(1) User Commands PPL_LPSOL(1) NAME ppl_lpsol - a PPL-based mixed integer programming problem solver SYNOPSIS ppl_lpsol [OPTION]... [FILE] DESCRIPTION Reads a file in MPS format and attempts solution using the optimization al- gorithms provided by the PPL. See the GNU Linear Programming Kit: Reference Manual (Version 4.31) for in- formation on the MPS format. OPTIONS -c, --check[=THRESHOLD] 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 -i, --incremental solves the problem incrementally -m, --min minimizes the objective function -M, --max maximizes the objective function (default) -n, --no-optimization checks for satisfiability only -r, --no-mip consider integer variables as real variables -CSECS, --max-cpu=SECS limits CPU usage to SECS seconds -RMB, --max-memory=MB limits memory usage to MB megabytes -h, --help prints this help text to stdout -oPATH, --output=PATH appends output to PATH -e, --enumerate use the (expensive!) enumeration method -pM, --pricing=M use pricing method M for simplex (assumes -s); M is an int from 0 to 2, default 0: 0 --> steepest-edge using floating point 1 --> steep- est-edge using exact arithmetic 2 --> textbook -s, --simplex use the simplex method -t, --timings prints timings to stderr -v, --verbosity=LEVEL sets verbosity level (from 0 to 4, default 3): 0 --> quiet: no out- put except for errors and explicitly required notifications 1 --> solver state only 2 --> state + optimal value 3 --> state + optimal value + optimum location 4 --> lots of output -V, --version prints version information to stdout AVAILABILITY The latest version of the Parma Polyhedra Library and all the documentation is available at http://bugseng.com/products/ppl/ . NOTES The options -CSECS (--max-cpu=SECS) and -t (--timings) are not available on some platforms. AUTHOR See the file CREDITS in the source distribution or use the command ppl-con- fig --credits for a list of contributors. COPYRIGHT Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) This is free software; see the file COPYING in the source distribution or use the command ppl-config --copying to obtain the copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTIC- ULAR PURPOSE. SEE ALSO ppl-config(1) Andrew Makhorin. GNU Linear Programming Kit: Reference Manual (Version 4.31). ppl_lpsol 1.2 February 2016 PPL_LPSOL(1)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | AVAILABILITY | NOTES | AUTHOR | COPYRIGHT | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=ppl_lpsol&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>