[gecode-users] Disjunctive Minizinc constraint

[Christian Schulte]

Well, Gecode provides it out of the box, the only thing that you have to do
is to add the constraints that enforces endtime = startime + duration.
That's it. And they are documented as well (check the reference
documentation which is always linked from MPG)

The reason why these constraints are not posted by the unary constraint is
to leave more flexibility to the user.

Christian

--
Christian Schulte, www.gecode.org/~schulte 
Professor of Computer Science, KTH, cschulte at kth.se
Expert Researcher, SICS, cschulte at sics.se

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Sebastian Kosch
Sent: Friday, September 18, 2015 08:32 PM
To: users at gecode.org
Subject: [gecode-users] Disjunctive Minizinc constraint

Hi,

I'd like to use Minizinc's disjunctive constraint in Gecode, but no such
thing is provided. The gecode_schedule_unary constraint requires known
processing times and isn't an option.

Now, there Gecode has a version of the unary constraint that has flexible
processing times, but also takes in an array of end times (which it then
doesn't propagate on, so I don't really get the point). 
I've created a binding for it in the registry file and have given my model a
dummy array of end time variables, and that appears to work okay.

Still, it'd be nice if Gecode supported Minizinc's disjunctive(var[],
var[]) out of the box.

Is what I'm doing kosher, and could a "proper" version of this be added to
the trunk?

Many thanks,
Sebastian

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users