start working on clingcon description

examples/csp1.lp

@@ -0,0 +1,3 @@
+&dom{-3..3} = a.
+&dom{-3..3} = b.
+&minimize{3*a-b}.

examples/csp2.lp

@@ -0,0 +1,4 @@
+&dom{0..1} = x.
+&dom{0..1} = y.
+{a}.
+&sum{x; -1*y} < 0 :- a.

examples/csp3.lp

@@ -0,0 +1,3 @@
+&dom{0..1} = x.
+&dom{0..1} = y.
+a :- &sum{x; -1*y} < 0.

examples/csp4.lp

@@ -0,0 +1,13 @@
+machine(1).      machine(2).
+task(a). duration(a,1,3). duration(a,2,4).
+task(b). duration(b,1,1). duration(b,2,6).
+task(c). duration(c,1,5). duration(c,2,5).
+
+% jobs start at zero and must finish before a given bound
+&dom { 0..B } = (J,M) :- duration(J,M,T), B=bound-T.
+
+% a job has to be finished on a machine before starting on the next one.
+&sum{ (J,M)+T } <= (J,M+1) :- duration(J,M,T), machine(M+1).
+
+% the processing times of two jobs must not overlap on a machine
+&disjoint { (J,M)@T : duration(J,M,T) } :- machine(M).

guide.tex

@@ -8,7 +8,7 @@
 \usepackage{listings}
 \usepackage[dvipsnames]{xcolor}
 \usepackage[pdfborder={0 0 0},pagebackref=true]{hyperref}
-%\usepackage{comments}
+\usepackage{comments}
 \usepackage{pict2e}
 \usepackage{tikz}
 \usetikzlibrary{arrows,chains,positioning,automata,decorations,shapes}