[opam-devel] opam install says: Your request cannot be satisfied.

[Roberto Di Cosmo]

Hi Ashish,
   indeed, when the request is not satisfiable, using the internal solver
or an external one will not change much. The difference only shows up
if the request can be satisfied: in that case, there may be
exponentially many solutions, and the external solvers incorporate
the logic needed to find one that optimises some user criteria.

The long list of constraints that is printed out is actually precious
information that should be helpful in understanding why the request
had no possible solution

--
Roberto

On Tue, Jan 28, 2014 at 08:59:41AM -0500, Ashish Agarwal wrote:
> 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.
> 
> 
> On Tue, Jan 28, 2014 at 8:45 AM, Thomas Gazagnaire <thomas at gazagnaire.org>
> wrote:
> 
>     > `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?
> 
>     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.
>    
>     Thomas
> 
> 
> 

> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel


-- 
Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto at dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
 
Bureau 3020 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3