I'd be interested in any docs as well, and also in documentation about how to use p2 outside of Eclipse. One of the links in Pascal's mail (http://www.cse.ucsd.edu/~rjhala/papers/opium.html) describes a system for Debian, I believe that was pretty heavily used as the basis for p2. I haven't had a chance to look at it yet, but I believe it should provide a good description of how the problem is mapped onto SAT.
Cheers, Colin _______________________________________________ OSGi Developer Mail List [email protected] https://mail.osgi.org/mailman/listinfo/osgi-dev
