File: clpfd.doc

package info (click to toggle)
swi-prolog 9.0.4%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 82,408 kB
  • sloc: ansic: 387,503; perl: 359,326; cpp: 6,613; lisp: 6,247; java: 5,540; sh: 3,147; javascript: 2,668; python: 1,900; ruby: 1,594; yacc: 845; makefile: 428; xml: 317; sed: 12; sql: 6
file content (17 lines) | stat: -rw-r--r-- 418 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
\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}