Re: [Toss-devel] QeCode-based solver; MSO expressiveness

[Lukasz K. <luk...@gm...>]

> I think the techniques of modern SAT solvers can be implemented
> within the Gecode architecture. (I don't know Gecode well enough,
> but I think they are not already there.)

It would be good to try to find out - if this is not there, one should
ask why. These are ones of the most powerful methods in their
field, if QeCode developers have not added this, there might be
some reason for it. It would be good to ask and know it.

Lukasz