[gecode-users] minimodel question

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at 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