PPL_LPSOL(1)                     User Commands                    PPL_LPSOL(1)

<?><?><?> (NAME)
       ppl_lpsol - <?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?> <?><?> PPL

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       ppl_lpsol [OPTION]... [FILE]

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?> <?><?><?><?> <?><?> <?><?><?><?> MPS <?><?> <?><?><?><?><?><?>
       <?> <?><?> <?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> <?><?><?><?> PPL <?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?> <?><?> <?><?><?>.

       <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?>
       MPS<?> <?><?> GNU Linear Programming Kit: Reference Manual (Version
       4.31) <?><?><?><?><?><?> <?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -c, --check[=THRESHOLD] <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?><?><?>
       <?><?> GLPK <?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?> THRESHOLD
              (<?><?><?><?><?><?><?> 1e-09) <?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?> <?><?> <?><?><?><?> <?><?><?><?>
              <?><?> GLPK <?><?><?><?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?> <?><?><?><?><?><?> (perturb)
              <?><?><?><?><?><?><?>

       -i, --incremental
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>

       -m, --min
              <?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?><?>

       -M, --max
              <?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?> (<?><?><?><?><?><?><?>)

       -n, --no-optimization
              <?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>

       -r, --no-mip
              <?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?><?>

       -CSECS, --max-cpu=SECS
              <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?> CPU <?><?> <?><?>
              SECS <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>

       -RMB, --max-memory=MB
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?> <?><?> MB
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>

       -h, --help
              <?><?><?> <?><?><?> <?><?><?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?>

       -oPATH, --output=PATH
              <?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?><?> PATH
              <?><?><?><?><?> <?><?><?><?><?><?>

       -e, --enumerate
              <?><?> <?><?><?> <?><?><?><?><?> (<?><?><?><?><?>
              <?><?><?><?><?><?><?><?>!) <?><?><?><?><?><?><?>
              <?><?><?><?><?><?>

       -pM, --pricing=M
              <?><?> <?><?><?> <?><?><?><?><?><?><?><?><?><?> M <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?>
              (<?><?><?><?><?> -s <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>)<?> M <?><?> <?><?><?> <?><?><?><?> <?><?>
              0 <?><?> 2 <?><?><?><?> <?><?><?><?><?><?><?> 0: 0 --> <?><?><?>
              steepest-edge <?><?> <?><?><?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?> 1 --> <?><?><?> steepest-edge <?><?>
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?> <?><?><?><?>
              2 --> <?><?><?><?> <?><?><?><?> (textbook)

       -s, --simplex
              <?><?> <?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
              <?><?><?><?><?><?>

       -t, --timings
              <?><?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?> stderr
              <?><?><?> <?><?><?><?><?><?>

       -v, --verbosity=LEVEL
              <?><?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?> (<?><?> 0 <?><?> 4<?>
              <?><?><?><?><?><?><?> 3): 0 --> <?><?><?><?>: <?><?><?>
              <?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?> <?>

              <?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?>

              1 --> <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?> 2 -->
              <?><?><?><?><?> + <?><?><?><?><?> <?><?><?><?><?> 3 -->
              <?><?><?><?><?> + <?><?><?><?><?> <?><?><?><?><?> + <?><?><?><?>
              <?><?><?><?> <?><?><?><?><?> 4 --> <?><?><?><?><?>
              <?><?><?><?><?><?>

       -V, --version
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?>

<?><?> <?><?><?><?><?> <?><?><?><?> (AVAILABILITY)
       <?><?><?><?><?><?><?><?> <?><?><?><?> Parma Polyhedra Library <?>
       <?><?><?><?> <?><?><?><?><?><?><?> <?><?>
       http://bugseng.com/products/ppl <?><?> <?><?><?><?><?> <?><?><?>.

<?><?><?><?> (NOTES)
       <?><?><?><?><?><?><?><?><?> -CSECS (--max-cpu=SECS) <?> -t (--timings)
       <?><?> <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?> <?><?><?><?><?><?>.

<?><?><?><?><?><?><?><?><?> (AUTHORS)
       <?><?><?><?> <?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?> CREDITS
       <?><?> <?><?> <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?> <?><?> <?><?><?><?><?> ppl-config --credits
       <?><?><?><?><?><?><?> <?><?><?><?>.

<?><?><?><?><?><?><?><?> <?> <?><?><?><?><?> (COPYRIGHT)
       Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> Copyright
       (C) 2010-2016 BUGSENG srl (http://bugseng.com)
       <?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> COPYING
       <?><?> <?><?> <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?> <?><?> <?><?><?><?><?> ppl-config --copying
       <?><?><?><?><?><?><?> <?><?><?><?>. <?><?><?> <?><?><?><?><?><?>
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?> <?><?> <?><?>
       <?><?><?> <?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (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)