[gecode-users] half reification and expressions in MiniModel

[Christian Schulte]

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.

Cheers
Christian



--
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
ECLiPSe's
> 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
half
> 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