[gecode-users] Help me with Maximum density still life in Gecode

[trinh cong quy]

*Hi All,

I am stuck on this Maximum density **still life problem with Gecode. I use
this constraint
              post(*this,
tt(imp(m(i-1,j-1)+m(i-1,j)+m(i-1,j+1)+m(i,j-1)+m(i,j+1)+m(i+1,j-1)+m(i+1,j)+m(i+1,j+1)
== 3,m(i,j)==1)));
              post(*this,
tt(imp(m(i-1,j-1)+m(i-1,j)+m(i-1,j+1)+m(i,j-1)+m(i,j+1)+m(i+1,j-1)+m(i+1,j)+m(i+1,j+1)
<  2,m(i,j)==0)));
              post(*this,
tt(imp(m(i-1,j-1)+m(i-1,j)+m(i-1,j+1)+m(i,j-1)+m(i,j+1)+m(i+1,j-1)+m(i+1,j)+m(i+1,j+1)
>  3,m(i,j)==0)));

However, it is only with 7*7 board. For 8*8 board, my program run very
slowly. I am trying to improve by dividing the board into 3*3 squares but
still do not have solution

Anyone give suggestion, Thank you very much!!!!*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091005/35026b3d/attachment.htm>