Hello,
My question may be stupid but I am a newbie with Gecode.
I would like to implement the notion of partial consistent assignment
(http://www.fi.muni.cz/~hanka/publ/sac05.pdf).
More precisely, I am looking for a maximal consistent assignment.
Is it natively managed in GECODE ?
I made a first attempt : I added a dummy value in the domain of each variable.
During the search process, I put constraints on the number of "unassigned
variables" to minimise it. Is it the proper way to deal with partial consistent
assignment in GECODE ?
Thanks in advance.
BenoƮt
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users