Re: [p2-dev] Plugins in dropins are optional?

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

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

-- 
             Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
             MCF,    CRIL-CNRS UMR 8188,    Universite d'Artois
             http://www.cril.univ-artois.fr/~leberre