PPL_LPSOL(1)

πŸ’– PPL_LPSOL(1) πŸ’–

okay bestie, welcome to the User Commands section of the manual, and today's main character is ppl_lpsol πŸ’…


✨ NAME ✨

ppl_lpsol β€” a PPL-based mixed integer programming problem solver 🧚


🌸 SYNOPSIS 🌸

ppl_lpsol [OPTION]... [FILE]

πŸ¦‹ DESCRIPTION πŸ¦‹

So basically: it reads a file in MPS format and then attempts solution using the optimization algorithms provided by the PPL. That's the whole vibe. πŸ”₯

If you're like "girl what even is MPS format", go read the GNU Linear Programming Kit: Reference Manual (Version 4.31) β€” it's all in there, no cap.


πŸŽ€ OPTIONS πŸŽ€

  • -c, --check[=THRESHOLD] β€” checks the obtained results using GLPK. Optima get checked with a tolerance of THRESHOLD (default 1e-09), and the 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 (this is the default, so if you do nothing it's giving maximization πŸ’…).
  • -n, --no-optimization β€” checks for satisfiability only. No optimizing, just vibes.
  • -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. expensive bestie, like genuinely, your wallet and your CPU both said ouch 😭
  • -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 --> steepest-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 output 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 ⭐

heads up bestie: the options -CSECS (--max-cpu=SECS) and -t (--timings) are not available on some platforms. so if they ghost you, that's why πŸ™ˆ

πŸ‘‘ AUTHOR πŸ‘‘

See the file CREDITS in the source distribution, or use the command ppl-config --credits for a list of contributors. 🫢


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 PARTICULAR PURPOSE. fr fr, no warranty, none, zero, nada πŸ’€

🌸 SEE ALSO 🌸

  • ppl-config(1)
  • Andrew Makhorin. GNU Linear Programming Kit: Reference Manual (Version 4.31).

and that's the whole page bestie!! this was ppl_lpsol 1.2, from February 2016, living under the PPL_LPSOL(1) manual name πŸ’– slay, go solve some mixed integer programming problems, periodt βœ¨πŸŽ€πŸ¦‹

πŸ“¦ where this page comes from