PPL_LCDD(1)                      User Commands                     PPL_LCDD(1)

<?><?><?> (NAME)
       ppl_lcdd - <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?> PPL
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>/<?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?>

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       ppl_lcdd [OPTION]... [FILE]

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?> H-representation (<?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?> V-representation) <?><?> <?><?>
       <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> <?> <?><?>
       V-representation (<?><?> <?><?><?><?><?><?> <?><?><?><?><?><?><?>
       H-representation) <?><?> <?><?><?><?> <?><?><?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?>.

       <?><?><?><?> <?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?>
       <?><?><?><?> cddlib <?><?><?><?><?><?> <?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -CSECS, --max-cpu=SECS
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?> (CPU)
              <?><?> <?><?> SECS <?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>

       -RMB, --max-memory=MB
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?> <?><?> MB
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>

       -h, --help
              <?><?><?> <?><?><?> <?><?><?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?>

       -oPATH, --output=PATH
              <?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?><?> PATH
              <?><?><?><?><?> <?><?><?><?><?><?>

       -t, --timings
              <?><?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?>

       -v, --verbose
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?> <?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?>

       -V, --version
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?>

       -cPATH, --check=PATH
              <?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?><?><?> <?><?><?><?><?> <?><?>
              PATH <?><?><?><?><?> <?><?><?> <?><?> <?><?><?>

<?><?> <?><?><?><?><?> <?><?><?><?> (AVAILABILITY)
       <?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?> (Parma Polyhedra
       Library) <?> <?><?><?><?> <?><?><?><?><?><?><?> <?><?> <?><?>
       http://bugseng.com/products/ppl <?><?> <?><?><?><?><?> <?><?><?>.

<?><?><?><?> (NOTES)
       <?><?><?><?><?> -CSECS (--max-cpu=SECS) <?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?>.

<?><?><?><?><?><?><?><?><?> (AUTHORS)
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?> CREDITS
       <?><?> <?><?> <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?> <?><?> <?><?><?><?><?> ppl-config --credits
       <?><?><?><?><?><?><?> <?><?><?><?>.

<?><?><?><?><?> <?><?><?><?><?><?> (BUGS)
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?>
       <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)
       <?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> COPYING
       <?><?> <?><?> <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?> <?><?> <?><?><?><?><?> ppl-config --copying
       <?><?><?><?><?><?><?> <?><?><?><?>. <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?>
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?>
       <?><?> <?><?> <?><?><?> <?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       ppl-config(1)

       Komei Fukuda.  cddlib Reference Manual, <?><?> <?><?><?><?><?> (<?><?>
       <?><?><?><?><?> <?><?><?><?>) <?><?>
       http://www.ifor.math.ethz.ch/~fukuda/cdd_home/index.html .

ppl_lcdd 1.2                     February 2016                     PPL_LCDD(1)