Thursday, July 30, 2009

p2 metadata and resolution detailed

Daniel Le Berre (one of the author of SAT4J) and myself have a paper accepted to IWOCE. The paper focuses on the dependency management aspect of p2. It describes the metadata used to express dependencies, the overall functioning of our resolver and a description of our propositional constraints based encoding. To conclude we describe the challenges to address in future releases.

The paper is available at


Scott Lewis said...

Cool! Thanks.

Scott Lewis said...

Cool! thanks.