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://www.cs.unipr.it/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-2009 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       Komei  Fukuda.  cddlib Reference Manual, available (in several formats)
69       at http://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html .
70
71
72
73ppl_lcdd 0.10.2                   April 2009                       PPL_LCDD(1)
Impressum