1PPL_LPSOL(1)                     User Commands                    PPL_LPSOL(1)
2
3
4

NAME

6       ppl_lpsol - a PPL-based linear programming problem solver
7

SYNOPSIS

9       ppl_lpsol [OPTION]... [FILE]...
10

DESCRIPTION

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

AVAILABILITY

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

AUTHOR

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

SEE ALSO

66       ppl-config (1)
67
68
69
70ppl_lpsol 0.8                    January 2006                     PPL_LPSOL(1)
Impressum