<Appendix id="r_anhang"> <title/Example Programs/
<p>

<section id="anhang.ccode">
<title/<<C++>> Code/
<p>
<code.extern display to="programs/ex_c.cc" proglang=cc class=linenumbers>

<p>

<section id="anhang.ozcode">
<title/<<OZ>> Code/
<p>
<code.extern display to="programs/ex_c.1.oz" class=linenumbers>

<section id="anhang.lesseq">
<title/<<C++>> Code of the Constraint <math/x \leq y \wedge r//
<p>
<code.extern display to="programs/reified_less.cc" proglang=cc class=linenumbers>
