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