PPL_LCDD(1) User Commands PPL_LCDD(1) NAME ppl_lcdd - a PPL-based program for vertex/facet enumeration of convex poly- hedra 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 poly- hedron. 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://bugseng.com/products/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-con- fig --credits for a list of contributors. REPORTING BUGS Report bugs to <ppl-devel@cs.unipr.it>. COPYRIGHT 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 PARTIC- ULAR PURPOSE. SEE ALSO ppl-config(1) Komei Fukuda. cddlib Reference Manual, available (in several formats) at http://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html . ppl_lcdd 1.2 February 2016 PPL_LCDD(1)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | AVAILABILITY | NOTES | AUTHOR | REPORTING BUGS | COPYRIGHT | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=ppl_lcdd&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>