Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/doc/cddlibman.log b/third_party/cddlib/doc/cddlibman.log
new file mode 100644
index 0000000..914ed24
--- /dev/null
+++ b/third_party/cddlib/doc/cddlibman.log
@@ -0,0 +1,199 @@
+This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2008.3.22) 23 MAR 2008 15:43
+entering extended mode
+ %&-line parsing enabled.
+**cddlibman.tex
+(./cddlibman.tex
+LaTeX2e <2005/12/01>
+Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
+yphenation, arabic, basque, bulgarian, coptic, welsh, czech, slovak, german, ng
+erman, danish, esperanto, spanish, catalan, galician, estonian, farsi, finnish,
+ french, greek, monogreek, ancientgreek, croatian, hungarian, interlingua, ibyc
+us, indonesian, icelandic, italian, latin, mongolian, dutch, norsk, polish, por
+tuguese, pinyin, romanian, russian, slovenian, uppersorbian, serbian, swedish,
+turkish, ukenglish, ukrainian, loaded.
+(/usr/local/texlive/2007/texmf-dist/tex/latex/base/article.cls
+Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
+(/usr/local/texlive/2007/texmf-dist/tex/latex/base/size11.clo
+File: size11.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
+)
+\c@part=\count79
+\c@section=\count80
+\c@subsection=\count81
+\c@subsubsection=\count82
+\c@paragraph=\count83
+\c@subparagraph=\count84
+\c@figure=\count85
+\c@table=\count86
+\abovecaptionskip=\skip41
+\belowcaptionskip=\skip42
+\bibindent=\dimen102
+) (./html.sty
+Package: html 1996/02/01 v1.0 hypertext commands for latex2html (nd, hs)
+\c@lpart=\count87
+\c@lchapter=\count88
+\c@lsection=\count89
+\c@lsubsection=\count90
+\c@lsubsubsection=\count91
+\c@lparagraph=\count92
+\c@lsubparagraph=\count93
+\c@lsubsubparagraph=\count94
+\c@lequation=\count95
+)
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsmath.sty
+Package: amsmath 2000/07/18 v2.13 AMS math features
+\@mathmargin=\skip43
+
+For additional information on amsmath, use the `?' option.
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amstext.sty
+Package: amstext 2000/06/29 v2.01
+
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsgen.sty
+File: amsgen.sty 1999/11/30 v2.0
+\@emptytoks=\toks14
+\ex@=\dimen103
+))
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsbsy.sty
+Package: amsbsy 1999/11/29 v1.2d
+\pmbraise@=\dimen104
+)
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsmath/amsopn.sty
+Package: amsopn 1999/12/14 v2.01 operator names
+)
+\inf@bad=\count96
+LaTeX Info: Redefining \frac on input line 211.
+\uproot@=\count97
+\leftroot@=\count98
+LaTeX Info: Redefining \overline on input line 307.
+\classnum@=\count99
+\DOTSCASE@=\count100
+LaTeX Info: Redefining \ldots on input line 379.
+LaTeX Info: Redefining \dots on input line 382.
+LaTeX Info: Redefining \cdots on input line 467.
+\Mathstrutbox@=\box26
+\strutbox@=\box27
+\big@size=\dimen105
+LaTeX Font Info: Redeclaring font encoding OML on input line 567.
+LaTeX Font Info: Redeclaring font encoding OMS on input line 568.
+\macc@depth=\count101
+\c@MaxMatrixCols=\count102
+\dotsspace@=\muskip10
+\c@parentequation=\count103
+\dspbrk@lvl=\count104
+\tag@help=\toks15
+\row@=\count105
+\column@=\count106
+\maxfields@=\count107
+\andhelp@=\toks16
+\eqnshift@=\dimen106
+\alignsep@=\dimen107
+\tagshift@=\dimen108
+\tagwidth@=\dimen109
+\totwidth@=\dimen110
+\lineht@=\dimen111
+\@envbody=\toks17
+\multlinegap=\skip44
+\multlinetaggap=\skip45
+\mathdisplay@stack=\toks18
+LaTeX Info: Redefining \[ on input line 2666.
+LaTeX Info: Redefining \] on input line 2667.
+)
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/amssymb.sty
+Package: amssymb 2002/01/22 v2.2d
+
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+Package: amsfonts 2001/10/25 v2.2f
+\symAMSa=\mathgroup4
+\symAMSb=\mathgroup5
+LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
+(Font) U/euf/m/n --> U/euf/b/n on input line 132.
+))
+(./cddlibman.aux)
+\openout1 = `cddlibman.aux'.
+
+LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 21.
+LaTeX Font Info: ... okay on input line 21.
+LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 21.
+LaTeX Font Info: ... okay on input line 21.
+LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 21.
+LaTeX Font Info: ... okay on input line 21.
+LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 21.
+LaTeX Font Info: ... okay on input line 21.
+LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 21.
+LaTeX Font Info: ... okay on input line 21.
+LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 21.
+LaTeX Font Info: ... okay on input line 21.
+LaTeX Font Info: Try loading font information for U+msa on input line 30.
+
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/umsa.fd
+File: umsa.fd 2002/01/19 v2.2g AMS font definitions
+)
+LaTeX Font Info: Try loading font information for U+msb on input line 30.
+
+(/usr/local/texlive/2007/texmf-dist/tex/latex/amsfonts/umsb.fd
+File: umsb.fd 2002/01/19 v2.2g AMS font definitions
+)
+(./cddlibman.toc)
+\tf@toc=\write3
+\openout3 = `cddlibman.toc'.
+
+ [1
+
+] [2] [3] [4]
+Overfull \hbox (19.168pt too wide) in paragraph at lines 395--395
+[]\OT1/cmtt/m/n/10.95 typedef mytype **dd_Amatrix; /* mytype is either GMP mpq
+_t or 1-dim double array. */[]
+ []
+
+[5] [6]
+Overfull \hbox (19.168pt too wide) in paragraph at lines 395--395
+[] \OT1/cmtt/m/n/10.95 dd_colrange se; /* col index as a certificate in the c
+ase of dual inconsistency */[]
+ []
+
+[7] [8] [9]
+Overfull \hbox (0.39783pt too wide) in paragraph at lines 653--660
+\OT1/cmr/m/n/10.95 Fourier's Elim-i-na-tion. If the in-put ma-trix is V-represe
+ntation, \OT1/cmtt/m/n/10.95 *err \OT1/cmr/m/n/10.95 re-turns \OT1/cmtt/m/n/10.
+95 dd[]NotAvailForV\OT1/cmr/m/n/10.95 .
+ []
+
+[10] [11] [12]
+Overfull \hbox (7.43246pt too wide) in paragraph at lines 821--826
+\OT1/cmr/m/n/10.95 Copy the in-ci-dence rep-re-sen-ta-tion of the com-puted rep
+-re-sen-ta-tion pointed by poly to \OT1/cmtt/m/n/10.95 setfamily
+ []
+
+
+Overfull \hbox (10.47415pt too wide) in paragraph at lines 827--832
+\OT1/cmr/m/n/10.95 Copy the ad-ja-cency rep-re-sen-ta-tion of the com-puted rep
+-re-sen-ta-tion pointed by poly to \OT1/cmtt/m/n/10.95 setfamily
+ []
+
+[13] [14] [15] [16]
+
+Package amsfonts Warning: Obsolete command \Bbb; \mathbb should be used instead
+ on input line 1139.
+
+(./cddlibman.bbl
+Overfull \hbox (2.6514pt too wide) in paragraph at lines 4--9
+[]\OT1/cmr/m/n/10.95 N. Amenta. Di-rec-tory of com-pu-ta-tional ge-om-e-try.
+http://www.geom.uiuc.edu/software/cglist/.
+ []
+
+[17]
+Underfull \hbox (badness 2302) in paragraph at lines 68--73
+[]\OT1/cmr/m/n/10.95 J. Er-ick-son. Com-pu-ta-tional ge-om-e-try pages, list o
+f soft-ware li-braries and codes.
+ []
+
+[18]) [19] (./cddlibman.aux) )
+Here is how much of TeX's memory you used:
+ 1274 strings out of 94074
+ 14362 string characters out of 1163007
+ 65424 words of memory out of 1500000
+ 4583 multiletter control sequences out of 10000+50000
+ 13141 words of font info for 50 fonts, out of 1200000 for 2000
+ 645 hyphenation exceptions out of 8191
+ 27i,9n,24p,239b,243s stack positions out of 5000i,500n,6000p,200000b,5000s
+
+Output written on cddlibman.dvi (19 pages, 73224 bytes).