[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [p2-dev] Plugins in dropins are optional?
- From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
- Date: Thu, 30 Apr 2009 23:57:36 +0200
- Delivered-to: firstname.lastname@example.org
- User-agent: Thunderbird 18.104.22.168 (X11/20090330)
Murali Mohan a écrit :
> So my question is,
> A. If the sat4j solver is given a problem with a lot of
> constraints, it might not always give me the best possible solution?
> (esp since it considers the plugins from dropins
> as 'optional'!!)
That's correct: the solver it configured to answer after a while (less
than 2s), so it always returns the best solution found so far.
It might not be the best solution.
If you can send me your profile, I can check if the solver finds a
better solution when running longer.
Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
MCF, CRIL-CNRS UMR 8188, Universite d'Artois