Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
PPL_PIPS(1)			 User Commands			   PPL_PIPS(1)

NAME
       ppl_pips	- a PPL-based parametric integer programming problem solver

SYNOPSIS
       ppl_pips	[OPTION]... [FILE]

DESCRIPTION
       Reads  the  definition  of a Parametric Integer Programming problem and
       displays	the lexicographic minimum in terms of the values of the	param-
       eters.

OPTIONS
       -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

       -P, --polylib
	      reads problem in PolyLib format (default)

       -p, --piplib
	      reads problem in PipLib format

       -t, --timings
	      prints timings to	stderr

       -v, --verbose
	      produces lots of output

       -i, --iterations=N
	      executes the resolution N	times (default=1)

       -V, --version
	      prints version information to stdout

       -cPATH, --check=PATH
	      checks if	the result is equal to what is in PATH

   Cut generation options:
       -f, --cut-first
	      uses the first non-integer row (default)

       -d, --cut-deepest
	      tries to generate	the deepest cut

       -a, --cut-all
	      always generates all possible cuts

   Pivot row strategy options:
       -F, --row-first
	      uses the first row with negative parameter (default)

       -M, --row-max
	      chooses row generating the lexico-maximal	pivot column

AVAILABILITY
       The  latest version of the Parma	Polyhedra Library and all the documen-
       tation is available at http://bugseng.com/products/ppl/ .

NOTES
       The options -CSECS (--max-cpu=SECS) and -t (--timings) are  not	avail-
       able on some platforms.

       The PolyLib format is as	follows:

       -      The first	row describes the context matrix (i.e.,	constraints on
	      the parameters).	The first value	is the number of  rows	(which
	      can  be zero) and	the second value is the	number of columns. The
	      number of	parameters is the number of columns minus 2.

       -      Starting from the	second row, there are the rows of the  context
	      matrix,  if any.	Each row, which	represents a constraint	of the
	      form c1*p1 + ... + cn*pn + c0 =/>= 0 , contains: the value 0  if
	      the constraint is	an equality, 1 if it is	an inequality; the co-
	      efficients of the	parameters c1, ..., cn ; the constant term  c0
	      .	 For example, the inequality constraint	on two parameters p1 +
	      2*p2 - 1 >= 0 is encoded by the row 1 1 2	-1 .

       -      The following row	contains the  parameter	 number	 for  the  so-
	      called big parameter.  If	no big parameter is used, the value is
	      -1.

       -      The following rows encode	the problem inequality matrix.	As for
	      the  context  matrix, the	first two values are the dimensions of
	      the matrix. The number of	variables is the number	of columns  in
	      the  matrix  minus  the number of	parameters minus 2.  Each row,
	      which represents a constraint of the form	d1*v1 +	... + dm*vm  +
	      c1*p1  +	... + cn*pn + c0 =/>= 0	, contains: the	value 0	if the
	      constraint is an equality, 1 if it is an inequality; the coeffi-
	      cients  of  the  variables d1, ..., dm ; the coefficients	of the
	      parameters c1, ..., cn ; the constant term c0 .

	      The PipLib format	is described in	Section	2.2 of	PIP/PipLib:  A
	      Solver for Parametric Integer Programming	Problems (see below).

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

REPORTING BUGS
       Report bugs to <ppl-devel@cs.unipr.it>.

COPYRIGHT
       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	condi-
       tions.	There  is NO warranty; not even	for MERCHANTABILITY or FITNESS
       FOR A PARTICULAR	PURPOSE.

SEE ALSO
       ppl-config(1)

       Paul Feautrier.	Parametric Integer Programming.	 RAIRO Recherche Oper-
       ationnelle, 22(3):243-268, 1988.

       Paul Feautrier, Jean-Francois Collard, and Cedric Bastoul.  PIP/PipLib:
       A Solver	for Parametric Integer Programming Problems, 5.0 edition, July
       2007.  Distributed with PIP/PipLib 1.4.0.

ppl_pips 1.2			 February 2016			   PPL_PIPS(1)

NAME | SYNOPSIS | DESCRIPTION | OPTIONS | AVAILABILITY | NOTES | AUTHOR | REPORTING BUGS | COPYRIGHT | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=ppl_pips&sektion=1&manpath=FreeBSD+13.0-RELEASE+and+Ports>

home | help