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

FreeBSD Manual Pages

  
 
  

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

NAME
       ppl_lcdd	 -  a PPL-based	program	for vertex/facet enumeration of	convex
       polyhedra

SYNOPSIS
       ppl_lcdd	[OPTION]... [FILE]

DESCRIPTION
       Reads an	H-representation (resp., a V-representation) of	 a  polyhedron
       and  generates  a  V-representation (resp., an H-representation)	of the
       same polyhedron.

       See the cddlib Reference	Manual for information on the file formats.

OPTIONS
       -CSECS, --max-cpu=SECS
	      limits CPU usage to SECS seconds

       -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

       -t, --timings
	      prints timings to	stderr

       -v, --verbose
	      produces lots of output

       -V, --version
	      prints version information to stdout

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

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

NOTES
       The option -CSECS (--max-cpu=SECS) is not available on some platforms.

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)

       Komei Fukuda.  cddlib Reference Manual, available (in several  formats)
       at http://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html .

ppl_lcdd 1.2			 February 2016			   PPL_LCDD(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_lcdd&sektion=1&manpath=FreeBSD+13.0-RELEASE+and+Ports>

home | help