ppl_lcdd - Man Page

ppl_lcdd [OPTION]... [FILE]

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.

-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

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

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

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

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

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 conditions.  There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

ppl-config(1)

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