>I checked out the p2 sources, has anyone some documentation about the use
of SAT4J in p2?
A good starting point is the two documents I referred to in a
previous email (maybe start with the OPIUM one). This will give you an
understanding about the general encoding from dependencies onto a SAT
instance. The integration between p2 and SAT4J is done by the intermediate
of a file in the OPB format (a format used in the SAT / PB solver
competitions). p2 generates the file and then invokdes SAT4J (all that in
the same process). This gave us the ability to capture the instances
generated to share them with the SAT4J team and also to try other solvers.
In the next release we will likely explore how to directly use the SAT4J
APIs.
If you have more detailed questions you can ask them on the
[EMAIL PROTECTED] mailing list or on the eclipse.technology.equinox
newsgroup.
PaScaL
|------------>
| From: |
|------------>
>--------------------------------------------------------------------------------------------------------------------------------------------------|
|[EMAIL PROTECTED]
|
>--------------------------------------------------------------------------------------------------------------------------------------------------|
|------------>
| To: |
|------------>
>--------------------------------------------------------------------------------------------------------------------------------------------------|
|[email protected]
|
>--------------------------------------------------------------------------------------------------------------------------------------------------|
|------------>
| Date: |
|------------>
>--------------------------------------------------------------------------------------------------------------------------------------------------|
|06/20/2008 05:11 AM
|
>--------------------------------------------------------------------------------------------------------------------------------------------------|
|------------>
| Subject: |
|------------>
>--------------------------------------------------------------------------------------------------------------------------------------------------|
|[osgi-dev] OSGi Research Challenge 2008 - The OSGi Resolver
|
>--------------------------------------------------------------------------------------------------------------------------------------------------|
Thanks for the hints so far. First thing i did was checking about
the progress of SAT-Solvers in general and SAT4J in particular, and
I must admit that I am impressed. So this is at least a very promising
approach. I checked out the p2 sources, has anyone some
documentation about the use of SAT4J in p2? I would be very
interested in that. Am I right that related to the OSGI-Resolver the
only source of detailed information is the source code of the
existing resolver org.eclipse.osgi.internal.module.ResolverImpl
and the OSGI spec?
_______________________________________________________________________
Jetzt neu! Schützen Sie Ihren PC mit McAfee und WEB.DE. 30 Tage
kostenlos testen. http://www.pc-sicherheit.web.de/startseite/?mc=022220
_______________________________________________
OSGi Developer Mail List
[email protected]
https://mail.osgi.org/mailman/listinfo/osgi-dev
<<inline: graycol.gif>>
<<inline: ecblank.gif>>
_______________________________________________ OSGi Developer Mail List [email protected] https://mail.osgi.org/mailman/listinfo/osgi-dev
