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

NAME

6       ppl_lcdd  -  a PPL-based program for vertex/facet enumeration of convex
7       polyhedra
8

SYNOPSIS

10       ppl_lcdd [OPTION]... [FILE]
11

DESCRIPTION

13       Reads an H-representation (resp., a V-representation) of  a  polyhedron
14       and  generates  a  V-representation (resp., an H-representation) of the
15       same polyhedron.
16
17       See the cddlib Reference Manual for information on the file formats.
18

OPTIONS

20       -CSECS, --max-cpu=SECS
21              limits CPU usage to SECS seconds
22
23       -RMB, --max-memory=MB
24              limits memory usage to MB megabytes
25
26       -h, --help
27              prints this help text to stdout
28
29       -oPATH, --output=PATH
30              appends output to PATH
31
32       -t, --timings
33              prints timings to stderr
34
35       -v, --verbose
36              produces lots of output
37
38       -V, --version
39              prints version information to stdout
40
41       -cPATH, --check=PATH
42              checks if the result is equal to what is in PATH
43

AVAILABILITY

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

NOTES

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

AUTHOR

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

REPORTING BUGS

56       Report bugs to <ppl-devel@cs.unipr.it>.
57

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

SEE ALSO

67       ppl-config(1)
68
69       Komei Fukuda.  cddlib Reference Manual, available (in several  formats)
70       at http://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html .
71
72
73
74ppl_lcdd 1.2                     February 2016                     PPL_LCDD(1)
Impressum