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       -CSECS, --max-cpu=SECS
14              limits CPU usage to SECS seconds
15
16       -RMB, --max-memory=MB
17              limits memory usage to MB megabytes
18
19       -h, --help
20              prints this help text to stdout
21
22       -V, --version
23              prints version information to stdout
24
25       -oPATH, --output=PATH
26              appends output to PATH
27
28       -t, --timings
29              prints timings to stderr
30
31       -v, --verbose
32              produces lots of output
33
34       -cPATH, --check=PATH
35              checks if the result is equal to what is in PATH
36

AVAILABILITY

38       The latest version of the Parma Polyhedra Library and all the  documen‐
39       tation is available at
40
41           http://www.cs.unipr.it/ppl/
42

AUTHOR

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

REPORTING BUGS

48       Report bugs to <ppl-devel@cs.unipr.it>.
49

51       Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
52       This is free software; see the file COPYING in the source  distribution
53       or  use  the  command ppl-config --copying to obtain the copying condi‐
54       tions.  There is NO warranty; not even for MERCHANTABILITY  or  FITNESS
55       FOR A PARTICULAR PURPOSE.
56

SEE ALSO

58       ppl-config (1)
59
60
61
62ppl_lcdd 0.8                     January 2006                      PPL_LCDD(1)
Impressum