Gilles Scokart a écrit :
> 2008/12/22 Daniel Le Berre <lebe...@cril.univ-artois.fr>:
>> Gilles,
>>
>> Representation #1 is used to compute which artifacts must be installed to
>> satisfy some artifact dependencies.
>>
>> With representation #2, Oleg only solve the problem of determining which
>> version of the available artifacts should be installed (at least, this is my
>> understanding of its encoding).
>>
>> Daniel
>>
>
> Sorry, but I fail to see the difference.
>
> Gilles
>
in #1, you represent the whole dependencies in a file, and you let the
SAT solver do all the work for you (no need for a dirty tree).
in #2, you build the dirty tree and you feed the SAT solver only with
the information regarding versions of artifacts.
Daniel
--
Daniel Le Berre mailto:lebe...@cril.univ-artois.fr
MCF, CRIL-CNRS UMR 8188, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org
For additional commands, e-mail: dev-h...@maven.apache.org
