I'm sorry, upgrading sat4j did solve this.<br>I had already checked if I had the latest version of sat4j and somehow misread some version numbers.<br><br><br>Thanks for the fast input,<br>Pitxyoki<br><br><br><div class="gmail_quote">
On Tue, Apr 27, 2010 at 6:11 PM, Niels Thykier <span dir="ltr"><<a href="mailto:niels@thykier.net">niels@thykier.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Luís Picciochi Oliveira wrote:<br>
> Hello,<br>
> I am still seeing this issue with today's eclipse version on the testing<br>
> repositories. I can install the plugins but they are not recognised.<br>
><br>
> I am also getting this message when starting eclipse:<br>
> $ eclipse<br>
> org.osgi.framework.BundleException: The bundle could not be resolved.<br>
> Reason: Missing Constraint: Import-Package:<br>
> org.eclipse.equinox.internal.provisional.p2.director; version="0.0.0"<br>
><br>
><br>
> This is what I have:<br>
> ii eclipse 3.5.2-2<br>
> Extensible Tool Platform and Java IDE<br>
> ii eclipse-jdt 3.5.2-2+b1 Eclipse<br>
> Java Development Tools (JDT)<br>
> ii eclipse-pde 3.5.2-2+b1 Eclipse<br>
> Plug-in Development Environment (PDE<br>
> ii eclipse-platform 3.5.2-2+b1 Eclipse<br>
> platform without plug-ins to develop<br>
> ii eclipse-platform-data 3.5.2-2 Eclipse<br>
> platform without plug-ins to develop<br>
> ii eclipse-plugin-cvs 3.5.2-2+b1 Eclipse<br>
> Team Integration (CVS support)<br>
> ii eclipse-rcp 3.5.2-2+b1 Eclipse<br>
> Rich Client Platform (RCP)<br>
><br>
> ii sat4j 2.1.1-2<br>
> Efficient library of SAT solvers in Java<br>
><br>
<br>
Hi<br>
<br>
Could you try with sat4j 2.1.1-3; it should be in testing by now.<br>
<font color="#888888"><br>
~Niels<br>
<br>
</font></blockquote></div><br>