Hi Gustavo, No: by now it should be clear that the only people doing something stupid is us and not our users ;-( This is again a case that escaped our test cases.
Sorry for the inconvenience and it looks as if 3.0.2 should be on its way... Christian -- Christian Schulte, www.it.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Gustavo Gutierrez Sent: Tuesday, March 24, 2009 6:45 PM To: gecode list Subject: [gecode-users] minimodel question Hello, After migrating my code to gecode 3.0, I am having a problem when posting a constraint on a boolean relation. The file attached compiles with gecode 3.0 but when executing it I got a bus error (a segmentation fault, I think). The file contains mostly a simplification of my code but it is good enough to exhibit the behavior. The only constraint I am posting is: post(*this, tt(imp(~(x == 1), ~(y != 1)))); which seems to be valid according with the specification presented in modeling.pdf at page 54. Am I doing something wrong?, I am not familiar with the minimodel part of gecode at all, so maybe this is produced because I am doing something stupid. Thanks in advance, Gustavo _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
