1PPL_LPSOL(1) User Commands PPL_LPSOL(1)
2
3
4
6 ppl_lpsol - a PPL-based linear programming problem solver
7
9 ppl_lpsol [OPTION]... [FILE]...
10
12 -c, --check
13 checks plausibility of the optimum value found
14
15 -m, --min
16 minimizes the objective function
17
18 -M, --max
19 maximizes the objective function (default)
20
21 -CSECS, --max-cpu=SECS
22 limits CPU usage to SECS seconds
23
24 -RMB, --max-memory=MB
25 limits memory usage to MB megabytes
26
27 -h, --help
28 prints this help text to stdout
29
30 -V, --version
31 prints version information to stdout
32
33 -oPATH, --output=PATH
34 appends output to PATH
35
36 -e, --enumerate
37 use the (expensive!) enumeration method
38
39 -s, --simplex
40 use the simplex method
41
42 -t, --timings
43 prints timings to stderr
44
45 -v, --verbose
46 outputs also the constraints and objective function
47
49 The latest version of the Parma Polyhedra Library and all the documen‐
50 tation is available at
51
52 http://www.cs.unipr.it/ppl/
53
55 See the file CREDITS in the source distribution or use the command
56 ppl-config --credits for a list of contributors.
57
59 Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
60 This is free software; see the file COPYING in the source distribution
61 or use the command ppl-config --copying to obtain the copying condi‐
62 tions. There is NO warranty; not even for MERCHANTABILITY or FITNESS
63 FOR A PARTICULAR PURPOSE.
64
66 ppl-config (1)
67
68
69
70ppl_lpsol 0.8 January 2006 PPL_LPSOL(1)