ppl_lcdd(1) - Linux man page

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 documentation is available at http://www.cs.unipr.it/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 © 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
This is free software; see the file COPYING in the source distribution or use the command ppl-config --copying to obtain the copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.