te slow; in general it is advisable to 
give a domain to all CLPFD variables.

<p>Another possibility is to use a different <a href="devman.html#solvers">constraint solver</a>.
The <code>r_solver</code> should not suffer from this problem.
<hr>
<h2>SCIFF does not print all answer constraints</h2>
<p>This is due to SICStus; you can force SICStus to show all constraints
with the following goal:
<p><center><kbd>?- assert(clpfd:full_answer).</kbd></center>

<hr>
<h2>Type error</h2>
<pre><samp>! Typ