\chapter{Command-line reference}
\label{Chapter: Reference}

\section{circuits}
\label{s:ref:circuits}
{\small
\verbatiminput{circuits-help.txt}}

\clearpage
\section{genmodel}
\label{s:ref:genmodel}
{\small
\verbatiminput{genmodel-help.txt}}

\clearpage
\section{gensymm}
\label{s:ref:gensymm}
{\small
\verbatiminput{gensymm-help.txt}}

\clearpage
\section{graver}
\label{s:ref:graver}

{\small
\verbatiminput{graver-help.txt}}

\clearpage
\section{groebner}
\label{s:ref:groebner}

{\small
\verbatiminput{groebner-help.txt}}

\clearpage
\section{hilbert}
\label{s:ref:hilbert}

{\small
\verbatiminput{hilbert-help.txt}}

\clearpage
\section{markov}
\label{s:ref:markov}

{\small
\verbatiminput{markov-help.txt}}

\clearpage
\section{minimize}
\label{s:ref:minimize}

{\small
\verbatiminput{minimize-help.txt}}

\clearpage
\section{normalform}
\label{s:ref:normalform}

{\small
\verbatiminput{normalform-help.txt}}

\clearpage
\section{output}
\label{s:ref:output}
{\small
\verbatiminput{output-help.txt}}

\clearpage
\section{ppi}
\label{s:ref:ppi}
{\small
\verbatiminput{ppi-help.txt}}

\clearpage
\section{qsolve}
\label{s:ref:qsolve}
{\small
\verbatiminput{qsolve-help.txt}}

\clearpage
\section{rays}
\label{s:ref:rays}
{\small
\verbatiminput{rays-help.txt}}

\clearpage
\section{walk}
\label{s:ref:walk}

{\small
\verbatiminput{walk-help.txt}}

\clearpage
\section{zbasis}
\label{s:ref:zbasis}

{\small
\verbatiminput{zbasis-help.txt}}

\clearpage
\section{zsolve}
\label{s:ref:zsolve}
{\small
\verbatiminput{zsolve-help.txt}}


%%% Local Variables:
%%% mode: latex
%%% TeX-master: "4ti2_manual"
%%% End:
