<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 7, 2013 at 3:49 PM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@cse.gu.se" target="_blank">nad@cse.gu.se</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="im">On 2013-11-07 18:32, Carlos Camarao wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
I'd suggest to include a -u "parameter", to allow a unique solution to be<br>
searched.<br>
</blockquote>
<br></div>
As Ulf noted the search space is often very large. However, feel free to<br>
submit a feature request on the bug tracker.<div class="im"><br></div></blockquote><div> </div><div class="im">I think the timeout deals well with this.<br><br>I'll submit a feature request.<br><br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
And also perhaps highlight the issue by modifying the wiki, right at the<br>
1st paragraph,<br>
as follows:<br>
</blockquote>
<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
You don't need an account to update the wiki, so please go ahead and<br>
rewrite the text yourself.<span class=""><font color="#888888"><br></font></span></blockquote><div><br></div><div>Ok. Done.<br><br></div><div>Cheers,<br><br>Carlos<br></div><div><br> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<span class=""><font color="#888888">
<br>
-- <br>
/NAD<br>
</font></span></blockquote></div><br></div></div>