[gecode-users] half reification and expressions in MiniModel

Christian Schulte cschulte at kth.se
Tue Jul 16 18:17:59 CEST 2013

Hi Kish,

You are really trying to embarrass us in public, aren't you ;-) No,
minimodel does not yet use half-reification. But if you do the flattening
yourself (which I guess you do) you should use when possible.

Honestly, half-reification has been (so-far, that is) one of the biggest
time wasters in Gecode history. That might change if we replace minimodel at
some point in time by something cooler.


Christian Schulte, www.ict.kth.se/~cschulte/

> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On
> Behalf Of Kish Shen
> Sent: Tuesday, July 16, 2013 6:02 PM
> To: users at gecode.org
> Subject: [gecode-users] half reification and expressions in MiniModel
> Hi,
> I am looking at half reification and how to add support for it to
> Gecode interface. In particular, I am looking at expressions posted in the
> MiniModel:
> Looking at the documentation, I don't think the reified form of rel() --
the one
> with a boolean control variable -- is supported by the MiniModel.
> However, in my existing code, I do support the equivalent of reified
> rel() by posting the BoolExpr:
> B == <IntRel>
> where B is the boolean control variable.
> In addition, the following are also supported:
> B >> <IntRel>
> <IntRel> >> B
> If I understand correctly, these two are logically equivalent to the two
> reification cases.
> I am wondering if the above forms will now take full advantage of the half
> reification facilities of Gecode 4?
> Thanks in advance for any information!
> Cheers,
> Kish
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users

More information about the users mailing list