\section{Finite Domain Constraints}

\input{fd/intro}
\input{fd/bool}
\input{fd/ansatz}
\input{fd/def}
\input{fd/solve}
\input{fd/glob}
\input{fd/arccon}
\input{fd/hyper}
\input{fd/path}
\input{fd/sat}