\libdoc{clpb}{CLP(B): Constraint Logic Programming over Boolean Variables}

\label{sec:clpb}

\begin{tags}
    \tag{author}
\href{https://www.metalevel.at}{Markus Triska}
\end{tags}


% remainder, generated from Markdown and PlDoc
\input{clpblib.tex}