Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/doc/cddlibman.aux b/third_party/cddlib/doc/cddlibman.aux
new file mode 100644
index 0000000..f7f78d6
--- /dev/null
+++ b/third_party/cddlib/doc/cddlibman.aux
@@ -0,0 +1,91 @@
+\relax
+\citation{fp-ddmr-96}
+\citation{mrtt-ddm-53}
+\citation{a-lrshome-01}
+\citation{af-pachv-92}
+\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}}
+\newlabel{INTRODUCTION}{{1}{2}}
+\citation{abs-hgach-97}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Polyhedra H- and V-Formats (Version 1999)}{3}}
+\newlabel{FORMAT}{{2}{3}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}Basic Object Types (Structures) in cddlib}{4}}
+\newlabel{DATASTR}{{3}{4}}
+\@writefile{toc}{\contentsline {section}{\numberline {4}Library Functions}{7}}
+\newlabel{LIBRARY}{{4}{7}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Library Initialization}{7}}
+\newlabel{Initialization}{{4.1}{7}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Core Functions}{7}}
+\newlabel{CoreLibrary}{{4.2}{7}}
+\citation{abs-hgach-97}
+\citation{fp-ddmr-96}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Data Manipulations}{11}}
+\newlabel{DataLibrary}{{4.3}{11}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.1}Number Assignments}{11}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.2}Arithmetic Operations for {\tt mytype} Numbers}{11}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.3}Predefined Constants}{12}}
+\newlabel{constants}{{4.3.3}{12}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.4}Sign Evaluation and Comparison for {\tt mytype} Numbers}{12}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.5}Polyhedra Data Manipulation}{12}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.6}LP Data Manipulation}{13}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.7}Matrix Manipulation}{13}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Input/Output Functions}{14}}
+\newlabel{IOLibrary}{{4.4}{14}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}Obsolete Functions}{15}}
+\newlabel{ObsoleteFunctions}{{4.5}{15}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.6}Set Functions in {\tt setoper} library}{15}}
+\newlabel{SetFunctions}{{4.6}{15}}
+\citation{a-lrshome-01}
+\citation{af-pachv-92}
+\citation{bdh-qach-03}
+\citation{e-acg-87}
+\citation{m-cg-94}
+\@writefile{toc}{\contentsline {section}{\numberline {5}An Extension of the CDD Library in GMP mode}{16}}
+\newlabel{GMPLIB}{{5}{16}}
+\@writefile{toc}{\contentsline {section}{\numberline {6}Examples}{16}}
+\newlabel{EXAMPLES}{{6}{16}}
+\@writefile{toc}{\contentsline {section}{\numberline {7}Numerical Accuracy}{16}}
+\newlabel{accuracy}{{7}{16}}
+\@writefile{toc}{\contentsline {section}{\numberline {8}Other Useful Codes}{16}}
+\newlabel{CODES}{{8}{16}}
+\citation{cl-porta-97}
+\citation{w-ldpo-93b}
+\citation{b-pplhome}
+\citation{m-pdcip-97}
+\citation{bfm-pdmvf-97}
+\citation{a-dcg}
+\citation{e-cgp}
+\citation{fg-lpfaq}
+\citation{f-pcfaq-98}
+\citation{dhhhty-latte-05}
+\citation{w-msv-05}
+\citation{f-fzctmacp-04}
+\citation{j-gvum-05}
+\citation{fjt-cgf-05}
+\citation{r-topcom-05}
+\bibstyle{plain}
+\bibdata{fukuda1,fukuda2}
+\bibcite{a-dcg}{1}
+\@writefile{toc}{\contentsline {section}{\numberline {9}Codes Using Cddlib}{17}}
+\newlabel{USERCODES}{{9}{17}}
+\bibcite{a-lrshome-01}{2}
+\bibcite{abs-hgach-97}{3}
+\bibcite{af-pachv-92}{4}
+\bibcite{b-pplhome}{5}
+\bibcite{bdh-qach-03}{6}
+\bibcite{bfm-pdmvf-97}{7}
+\bibcite{cl-porta-97}{8}
+\bibcite{dhhhty-latte-05}{9}
+\bibcite{e-acg-87}{10}
+\bibcite{e-cgp}{11}
+\bibcite{fg-lpfaq}{12}
+\bibcite{f-pcfaq-98}{13}
+\bibcite{f-fzctmacp-04}{14}
+\bibcite{fjt-cgf-05}{15}
+\bibcite{fp-ddmr-96}{16}
+\bibcite{j-gvum-05}{17}
+\bibcite{m-pdcip-97}{18}
+\bibcite{mrtt-ddm-53}{19}
+\bibcite{m-cg-94}{20}
+\bibcite{r-topcom-05}{21}
+\bibcite{w-msv-05}{22}
+\bibcite{w-ldpo-93b}{23}