ppl_pips(1)

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

NAME

6       ppl_pips - a PPL-based parametric integer programming problem solver
7

SYNOPSIS

9       ppl_pips [OPTION]... [FILE]
10

DESCRIPTION

12       Reads  the  definition  of a Parametric Integer Programming problem and
13       displays the lexicographic minimum in terms of the values of the param‐
14       eters.
15

OPTIONS

17       -RMB, --max-memory=MB
18              limits memory usage to MB megabytes
19
20       -h, --help
21              prints this help text to stdout
22
23       -oPATH, --output=PATH
24              appends output to PATH
25
26       -P, --polylib
27              reads problem in PolyLib format (default)
28
29       -p, --piplib
30              reads problem in PipLib format
31
32       -t, --timings
33              prints timings to stderr
34
35       -v, --verbose
36              produces lots of output
37
38       -i, --iterations=N
39              executes the resolution N times (default=1)
40
41       -V, --version
42              prints version information to stdout
43
44       -cPATH, --check=PATH
45              checks if the result is equal to what is in PATH
46
47   Cut generation options:
48       -f, --cut-first
49              uses the first non-integer row (default)
50
51       -d, --cut-deepest
52              tries to generate the deepest cut
53
54       -a, --cut-all
55              always generates all possible cuts
56
57   Pivot row strategy options:
58       -F, --row-first
59              uses the first row with negative parameter (default)
60
61       -M, --row-max
62              chooses row generating the lexico-maximal pivot column
63

AVAILABILITY

65       The  latest version of the Parma Polyhedra Library and all the documen‐
66       tation is available at http://bugseng.com/products/ppl/ .
67

NOTES

69       The options -CSECS (--max-cpu=SECS) and -t (--timings) are  not  avail‐
70       able on some platforms.
71
72       The PolyLib format is as follows:
73
74       -      The first row describes the context matrix (i.e., constraints on
75              the parameters).  The first value is the number of  rows  (which
76              can  be zero) and the second value is the number of columns. The
77              number of parameters is the number of columns minus 2.
78
79       -      Starting from the second row, there are the rows of the  context
80              matrix,  if any.  Each row, which represents a constraint of the
81              form c1*p1 + ... + cn*pn + c0 =/>= 0 , contains: the value 0  if
82              the  constraint  is  an  equality, 1 if it is an inequality; the
83              coefficients of the parameters c1, ..., cn ; the  constant  term
84              c0  .   For example, the inequality constraint on two parameters
85              p1 + 2*p2 - 1 >= 0 is encoded by the row 1 1 2 -1 .
86
87       -      The following row contains the  parameter  number  for  the  so-
88              called big parameter.  If no big parameter is used, the value is
89              -1.
90
91       -      The following rows encode the problem inequality matrix.  As for
92              the  context  matrix, the first two values are the dimensions of
93              the matrix. The number of variables is the number of columns  in
94              the  matrix  minus  the number of parameters minus 2.  Each row,
95              which represents a constraint of the form d1*v1 + ... + dm*vm  +
96              c1*p1  +  ... + cn*pn + c0 =/>= 0 , contains: the value 0 if the
97              constraint is an equality, 1 if it is an inequality; the coeffi‐
98              cients  of  the  variables d1, ..., dm ; the coefficients of the
99              parameters c1, ..., cn ; the constant term c0 .
100
101              The PipLib format is described in Section 2.2 of  PIP/PipLib:  A
102              Solver for Parametric Integer Programming Problems (see below).
103

AUTHOR

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

REPORTING BUGS

109       Report bugs to <ppl-devel@cs.unipr.it>.
110

COPYRIGHT

112       Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> Copyright
113       (C) 2010-2016 BUGSENG srl (http://bugseng.com)
114       This  is free software; see the file COPYING in the source distribution
115       or use the command ppl-config --copying to obtain  the  copying  condi‐
116       tions.   There  is NO warranty; not even for MERCHANTABILITY or FITNESS
117       FOR A PARTICULAR PURPOSE.
118