Hi,
My program consist in filling up of a matrix (nxn) with 0 and 1 with under
3 rules;
1. In each col presents at least one (1) ...
2. In each row presents at least one (1) ...
3. Where these 1´s appears, the indexes (i,j) must be checked in the graph.
The rule number 3 I think to use an extensional constraint such:
for ....
if pair (i,j) != 0
extensional(*this, pair(i,j), TUPLE_SET_2_OF_A_GRAPH)
Any guess (tip) to solve 1 and 2 ??
Thanks
claudio
--
claudio
(
))
|""|-.
|__|-'
**********************************************************************
Skype: claudio_cesar_sa
Links:
http://laic.u-clermont1.fr/
http://www.colmeia.udesc.br/
http://www2.joinville.udesc.br/~coca/
http://www2.joinville.udesc.br/~esp7maratona/
Blog: http://claudiocesar.wordpress.com/
***********************************************************************
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
