ppl_lcdd1

Usage

Overview

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

Notes

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