4" ALIGN="BOTTOM" BORDER="0" ALT="previous" SRC="prev.png"></A> 
<A NAME="tex2html167"
  HREF="node1.html">
<IMG WIDTH="65" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="contents" SRC="contents.png"></A>  
<BR>
<B> Next:</B> <A NAME="tex2html170"
  HREF="node11.html">4.4 Advanced usage</A>
<B> Up:</B> <A NAME="tex2html166"
  HREF="node7.html">4 Using CP</A>
<B> Previous:</B> <A NAME="tex2html160"
  HREF="node9.html">4.2 Relax the system</A>
 &nbsp; <B>  <A NAME="tex2html168"
  HREF="node1.html">Contents</A></B