<div dir="ltr">Yes, it prints out a long list of what constraints needed to be satisfied but couldn't be. Okay, I was just wondering this for a related question on the Core mailing list, which Anil suggested might be solved by using aspcud. It's already confirmed that the particular solver didn't help that issue, which would also have been clear if I knew that "Your request cannot be satisfied" means "provably cannot be satisfied". I'm not suggesting a wording change. I think it's fine.</div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jan 28, 2014 at 8:45 AM, Thomas Gazagnaire <span dir="ltr"><<a href="mailto:thomas@gazagnaire.org" target="_blank">thomas@gazagnaire.org</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">> `opam install` says "Your request cannot be satisfied." What exactly does that mean? Has the solver proven that the constraints definitively cannot be satisfied or is there still a possible solution?<br>


<br>
</div>What else does it prints ? A conflict list ? Yes, it ought to means "there is no solution satisfying the request", but it's possible than the wording is not precise enough.<br>
<span class="HOEnZb"><font color="#888888"><br>
Thomas<br>
<br>
</font></span></blockquote></div><br></div>