\libdoc{clpfd}{CLP(FD): Constraint Logic Programming over Finite Domains} \label{sec:clpfd} \begin{tags} \tag{author} \href{https://www.metalevel.at}{Markus Triska} \end{tags} \noindent\textbf{Development of this library has moved to SICStus Prolog.}\\ Please see \href{https://github.com/triska/clpz}{\textbf{CLP(Z)}} for more information. % remainder, generated from Markdown and PlDoc \input{clpfdlib.tex}