File: clpb.doc

package info (click to toggle)
swi-prolog 8.2.4%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 78,084 kB
  • sloc: ansic: 362,656; perl: 322,276; java: 5,451; cpp: 4,625; sh: 3,047; ruby: 1,594; javascript: 1,509; yacc: 845; xml: 317; makefile: 156; sed: 12; sql: 6
file content (13 lines) | stat: -rw-r--r-- 252 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
\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}