% This LaTeX document was generated using the LaTeX backend of PlDoc,
% The SWI-Prolog documentation system



\begin{summarylist}{ll}
\predicatesummary{labeling}{1}{Enumerate concrete solutions.}
\predicatesummary{random_labeling}{2}{Select a single random solution.}
\predicatesummary{sat}{1}{True iff Expr is a satisfiable Boolean expression.}
\predicatesummary{sat_count}{2}{Count the number of admissible assignments.}
\predicatesummary{taut}{2}{Tautology check.}
\predicatesummary{weighted_maximum}{3}{Enumerate weighted optima over admissible assignments.}
\end{summarylist}